archsat

A first-order theorem prover with formal proof output
IN THIS PACKAGE
Empty package map