Released: Aug 7, 2008
Finite domain first order logic system
0.1.2
Aug 7, 2008
0.1.1
0.1
Jul 30, 2008
Supported by