These are prolog solvers wrapped to be more easily callable from python. Rights reserved by original authors.
- trs https://www.metalevel.at/trs/
- leancop https://www.leancop.de/
- setlog
- sat/smt https://www.staff.city.ac.uk/~jacob/solver/
todo
- leantap
- ileancop
- nanocop-m i etc
- Resolution
- https://www.metalevel.at/presprover/
- PTTP
- PRESS https://github.com/maths/PRESS
- Recent prolog verification https://github.com/atp-lptp/automated-theorem-proving-for-prolog-verification
- SATCHMO
- g4ip
- https://github.com/fnogatz/CHR-Linear-Equation-Solver
- CHR stuff? https://dtai.cs.kuleuven.be/CHR/old/
Packages for swi
- clpb
- clp(fd)
- s(CASP) https://eu.swi-prolog.org/pack/list?p=scasp
- reif https://eu.swi-prolog.org/pack/list?p=reif
- https://eu.swi-prolog.org/pack/list?p=interval
- https://eu.swi-prolog.org/pack/list?p=lambda
- https://eu.swi-prolog.org/pack/list?p=clpBNR
- https://eu.swi-prolog.org/pack/list?p=clpcd
- https://eu.swi-prolog.org/pack/list?p=aleph aleph inductive logic programming
- tabling
See also:
- picat
- clingo
- minizinc
- minikaren with constraints