Discover @conp-solutions Open Source projects

@conp-solutions

conp-solutions

Stars
60
Global Rank 299,425 (Top 11 %)
Followers 19
Following 3
Registered over 6 years ago
Most used languages

C++
71.4 %

C
14.3 %

Python
14.3 %
Location 🇩🇪 Germany
Country Total Rank 16,207
Country Ranking

C++
2,417

C
5,031

riss

Riss SAT Solver

SpecSAT

Allow to benchmark hardware wrt sequential and parallel SAT solvers

cnfmiter

tool to produce CNFs that certify equivalence of 2 input CNFs

PCasso

Parallel SAT solver based on search space splitting

summle-solver

Implement a solver for the math puzzles given on https://summle.net/, which allows to use verification tools for C programs.

minisat

Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions

satpin

Code of the Axiom Pinpointing tool for DL: SATPin