leonard-de-vinci/Distributed_SAT_Approach_FIM
This repo is about a distributed SAT solver for CFI (Closed Frequent Itemsets)
C++
Issues
- 0
Distribution method not efficient
#2 opened by Flexiboy - 0
Have to improve documentation
#3 opened by Flexiboy - 1
- 2
Segmentation fault (core dumped)
#5 opened by Flexiboy - 1
Mongo db error on slaves
#4 opened by Flexiboy - 1
User time not working
#1 opened by Flexiboy