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

• UpdatedOct 25, 2024
• C++

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

• UpdatedJul 18, 2024
• OCaml

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

• UpdatedFeb 29, 2024
• TypeScript

Implementation of branch and bound algorithm for maximum clique problem

• UpdatedDec 16, 2017
• Python

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.

• UpdatedJun 3, 2023
• C++

Genetic Algorithm for the Maximum Clique Problem

• UpdatedAug 25, 2020
• C++

Manipulate NNF (Negation Normal Form) logical sentences

• UpdatedDec 13, 2022
• Python

a collection of benchmarks (in DIMACS format) for various NP-Complete problems

• UpdatedDec 19, 2022
• TeX

A diabolic implementation of mcSAT 😈

• UpdatedJun 23, 2021
• Python

LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.

• UpdatedJun 14, 2022
• C++

Results of popular Steiner tree instances

• UpdatedMar 20, 2020
• Ruby

CMSGen, a fast weighted uniform-like sampler

• UpdatedMar 30, 2024
• C++

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

• UpdatedNov 15, 2022
• Rust

Windows builds for The Glucose SAT Solver.

• UpdatedAug 19, 2021
• C++

Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers

• UpdatedFeb 25, 2020
• Python

Compile MiniSat to WebAssembly using emscripten

• UpdatedJan 15, 2020
• C++

A simple theorem prover made for a university programming assignment

• UpdatedJul 28, 2017
• Java

A generator of graphs written in Python and LaTeX

• UpdatedDec 16, 2019
• TeX

An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.

• UpdatedOct 28, 2021
• OCaml

Compile microsat to WebAssembly using emscripten

• UpdatedMay 26, 2020
• C