tamura70
JA
Home
>
Software
Constraint solver & Constraint programming system
Sugar
Copris
Puzzle Solvers in Copris
PBSugar
CSP2SAT
Cream
See also:
https://cspsat.gitlab.io
Logic programming
LLP
Prolog Cafe
TLLP
See also:
https://cspsat.gitlab.io
Theorem prover
llprover
seqprover
lolliCoP
LLPTTP
LL2LLP
See also:
https://cspsat.gitlab.io