Pinned Repositories
approxmc
Approximate Model Counter
arjun
CNF minimizer and minimal independent set calculator
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
cnf-utils
Dimacs CNF utilities
cryptominisat
An advanced SAT solver
cryptominisat_web
Onine version of the solver
grainofsalt
Grain of Salt equation generator
minisat-v1.14
MiniSat v1.14
minisat_emscripten
MiniSat 2.0 for Empscripten
sha1-sat
SAT instance generator for SHA-1
msoos's Repositories
msoos/cryptominisat
An advanced SAT solver
msoos/cnf-utils
Dimacs CNF utilities
msoos/grainofsalt
Grain of Salt equation generator
msoos/minisat-v1.14
MiniSat v1.14
msoos/sha1-sat
SAT instance generator for SHA-1
msoos/cryptominisat_web
Onine version of the solver
msoos/lingeling-ala
lingeling-ala SAT solver
msoos/minisat
A minimalistic and high-performance SAT solver
msoos/yalsat
yalsat by Armin Biere, improved to add support for large problems
msoos/picosat
PicoSAT with makefile that can also install
msoos/cryptominisat_build
Build scripts for cryptominisat
msoos/drat-trim
Marijn Heule's DRAT-TRIM with some modifications
msoos/model-counting-comp-2022
The binaries and the PDF of the Model Counting Competition of 2022
msoos/OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
msoos/sharpsat-td
Copy of SharpSAT-td
msoos/ardupilot_wiki
Repository for ArduPilot wiki issues and wiki-specific website infrastructure.
msoos/cryptominisat-rs
CryptoMiniSat rust bindings
msoos/cryptominisat-satrace2010
msoos/cryptominisat-satrace2010-quali
CryptoMiniSat from the SAT Race of 2010, fixed up to compile
msoos/csb
Count and Sample on Bit-vectors.
msoos/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
msoos/frat
DRAT proof processor
msoos/KCBox
A toolbox for knowledge compilation
msoos/manthan
Manthan for Boolean function synthesis
msoos/modelcounting.github.io
msoos/mpreal
msoos/OpenSMT2
My personal OpenSMT2 solver repository. For the "official" OpenSMT2 repository see the website
msoos/qgroundcontrol
Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)
msoos/runlim
msoos/themes
Themes directory for EdgeTX