log src/sat.tac @ 875:19d7d077478a

age author description
Tue, 04 Feb 2014 18:32:49 +0100 Goffi dates update
Sun, 29 Dec 2013 17:06:01 +0100 Goffi core: i18n refactoring:
Fri, 08 Mar 2013 00:36:22 +0100 Goffi fixed licences in docstrings (they are now in comments)
Mon, 07 Jan 2013 23:30:13 +0100 Goffi dates update
Wed, 01 Aug 2012 22:53:02 +0200 Goffi Licence modification: the full project is now under AGPL v3+ instead of GPL v3+
Tue, 06 Mar 2012 09:07:24 +0100 Goffi copyleft date update
Mon, 23 May 2011 21:32:28 +0200 Goffi core: main SAT class now moved in its own module core.sat_main