TakehideSoh's Stars
sybila/biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
TakehideSoh/SAF
junkawahara/dd_documents
core-challenge/2022benchmark
TakehideSoh/Scarab
tk-ohmori/coppy
junkawahara/ddreconf
domschrei/mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
marijnheule/ChineseRemainderEncoding
Encoding tool for the Chinese remainder encoding to determine the existence of Hamiltonian cycles.
xcsp3team/ACE
Constraint Solver ACE
keigoi/kmclib
Shin-ichi-Minato/SAPPOROBDD
BDD Package - Sapporo Edition
tom-tan/azucar-solver
Azucar: a SAT-based CSP solver based on compact order encoding
tamura70/taocp-sat-gitpod
tamura70/taocp-sat
mh248/SATrace
xcsp3team/PyCSP3
A Python Library for modeling combinatorial constrained problems
arminbiere/cadical
CaDiCaL SAT Solver
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine