dimacs topic
List
dimacs repositories
touist
65
Stars
12
Forks
Watchers
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
max_clique
32
Stars
4
Forks
Watchers
Implementation of branch and bound algorithm for maximum clique problem
graph-coloring
40
Stars
0
Forks
Watchers
Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
clique
19
Stars
4
Forks
Watchers
Genetic Algorithm for the Maximum Clique Problem
cgen
21
Stars
6
Forks
Watchers
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
bosphorus
64
Stars
18
Forks
Watchers
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
python-nnf
17
Stars
8
Forks
Watchers
Manipulate NNF (Negation Normal Form) logical sentences