32 skills found · Page 1 of 2
meelgroup / BosphorusBosphorus, ANF simplifier and solver, and ANF-to-CNF converter
MassimoLauria / CnfgenCNF generator in DIMACS format. It produces common families of CNFs.
touist / TouistTouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
amirdeljouyi / Graph ColoringGraph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic
donfaq / Max CliqueImplementation of branch and bound algorithm for maximum clique problem
laser-ufpb / CVRPControllerCVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
vsklad / CgenCGen 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.
shah314 / CliqueGenetic Algorithm for the Maximum Clique Problem
vegard / Cnf UtilsDimacs CNF utilities
QuMuLab / Python NnfManipulate NNF (Negation Normal Form) logical sentences
jix / FlussabCollection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
dynaroars / Npbencha collection of benchmarks (in DIMACS format) for various NP-Complete problems
c4v4 / LKH SPSpeeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.
meelgroup / CmsgenCMSGen, a fast weighted uniform-like sampler
fmoessbauer / LibMVCLibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.
louisabraham / McSATanA diabolic implementation of mcSAT 😈
tyler-utah / PBLA simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
sbeyer / Steiner Tree ResultsResults of popular Steiner tree instances
Robbepop / Dimacs ParserUtilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
falcopt / F4dFILO for DIMACS
