The command-line version of LADR (containing Prover9, Mace4, and other programs) has been released:
http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz
For new features, see the Changelog at the top of this forum.
Bill
LADR 2009-11A has been released
1 post • Page 1 of 1
LADR 2009-11A has been released
by mccune on Thu Nov 12, 2009 4:47 pm
- mccune
- Site Admin
- Posts: 84
- Joined: Fri Apr 11, 2008 4:05 pm
- Location: Placitas, New Mexico
1 post • Page 1 of 1
Return to LADR Changes and Releases
Who is online
Users browsing this forum: No registered users and 1 guest