This repository has been archived on 2023-11-20. You can view files and clone it, but cannot push or open issues or pull requests.

morgoth 72ea9d2d6f solver, tutorial +mixClasses changed		2016-05-12 12:46:39 +02:00
..
solvers	solver, tutorial +mixClasses changed	2016-05-12 12:46:39 +02:00
utilities	Added time options	2016-01-06 03:59:15 +00:00
Allwmake	Porting, compilation	2010-09-22 19:13:13 +01:00