package archsat
A first-order theorem prover with formal proof output
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.tar.gz
md5=14a97e6f88adc863d2f208b5563209f6
sha512=d1a2aa3b29de82b9954f926ef8771d391e5028c254b8a63d6ca7472cc063becd6adca2056f9599e6ae176d2364a0efeed082858a97cd6bcb1ebbb818d2ffba7b