dimacs topic

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

touist

Implementation of branch and bound algorithm for maximum clique problem

donfaq

Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic

amirdeljouyi

Genetic Algorithm for the Maximum Clique Problem

shah314

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.

vsklad

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

meelgroup

Manipulate NNF (Negation Normal Form) logical sentences

QuMuLab