Software

Lastmod: 2020-12-28

Constraint solver & Constraint programming system

Logic programming

Theorem prover