drochner 5ef6f3f9a9 update to 4.47 ... changes: -added API/options for Satisfiability problems -minor bugfixes		2011-12-07 18:52:22 +00:00
..
buildlink3.mk	Recursive revision bump for GMP update, 2nd part.	2010-03-24 21:54:15 +00:00
DESCR
distinfo	update to 4.47	2011-12-07 18:52:22 +00:00
Makefile	update to 4.47	2011-12-07 18:52:22 +00:00
PLIST