README « ladr « academic - slackbuilds - slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

index : slackbuilds

slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

matteo.bernardini _at_ gmail.com

summary refs log tree commit diff stats

path: root/academic/ladr/README

blob: c2fd2fb0fc16c7e2ac0a4f8775dafd001e28ab62 (plain)

LADR includes some mathematical programs like:

prover 9 (automated theorem prover for first-order and equational logic)
mace4 (search for finite models and counterexamples)