GitHub / leonard-de-vinci / Distributed_SAT_Approach_FIM
This repo is about a distributed SAT solver for CFI (Closed Frequent Itemsets)
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leonard-de-vinci%2FDistributed_SAT_Approach_FIM
PURL: pkg:github/leonard-de-vinci/Distributed_SAT_Approach_FIM
Stars: 2
Forks: 0
Open issues: 0
License: None
Language: C++
Size: 331 MB
Dependencies parsed at: Pending
Created at: about 4 years ago
Updated at: over 2 years ago
Pushed at: over 2 years ago
Last synced at: almost 2 years ago
Topics: closed-frequent-itemset, closed-frequent-itemset-mining, distributed-computing, distributed-systems, frequent-itemset-mining, sat-solver