--------------------------------------------------------------------------------------------------------------------- FaMaTS version 1.1.2 -------------------------------------------------------------------------------------------------------------------------------------------Versions--------------------------------------------------------------------------------------------FAMA Core v1.1.1FaMa Feature Model v0.9.1FaMa Attributed Feature Model v1.0.4Sat4jReasoner v1.0.0JavaBDDReasoner v1.0.0ChocoReasoner v1.1.1JaCoPReasoner v1.0.1FaMaShellv0.1.1Fixes from 1.1.1:-Bug in the plain tex format writer.-Minor changes in ChocoReasoner and others solvers.-More questions offered for the unexperienced user. [more...]

New version published with minnor changes [more...]

New version of FaMa released, check it out. [more...]

We are pleased to present you the new version of FaMaFW [more...]

A new version of FaMa has been published. Download it using the usual channels [more...]