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