- Berlin, Germany
- https://www.msoos.org
-
ardupilot_wiki Public
Forked from ArduPilot/ardupilot_wikiRepository for ArduPilot wiki issues and wiki-specific website infrastructure.
Python Other UpdatedAug 16, 2024 -
-
sha1-sat Public
Forked from vegard/sha1-satSAT instance generator for SHA-1
-
OutputCheck Public
Forked from stp/OutputCheckA tool for checking tool output inspired by LLVM's FileCheck
-
cryptominisat Public
An advanced SAT solver
-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
-
lingeling-ala Public
lingeling-ala SAT solver
-
modelcounting.github.io Public
Forked from modelcounting/modelcounting.github.ioHTML UpdatedApr 11, 2024 -
cryptominisat-rs Public
Forked from ltentrup/cryptominisat-rsCryptoMiniSat rust bindings
-
-
-
-
-
CryptoMiniSat from the SAT Race of 2010, fixed up to compile
Roff Other UpdatedNov 2, 2023 -
-
KCBox Public
Forked from meelgroup/KCBoxA toolbox for knowledge compilation
C++ MIT License UpdatedJul 14, 2023 -
-
manthan Public
Forked from meelgroup/manthanManthan for Boolean function synthesis
Python Other UpdatedFeb 17, 2023 -
model-counting-comp-2022 Public
The binaries and the PDF of the Model Counting Competition of 2022
-
-
-
-
OpenSMT2 Public
Forked from aehyvari/OpenSMT2My personal OpenSMT2 solver repository. For the "official" OpenSMT2 repository see the website
C++ Other UpdatedApr 7, 2022 -
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedFeb 2, 2022 -
-
-
riss Public
Forked from conp-solutions/rissRiss SAT Solver
C++ GNU Lesser General Public License v2.1 UpdatedAug 31, 2021 -
yalsat Public
yalsat by Armin Biere, improved to add support for large problems
-