log src/sat.tac @ 572:ca13633d3b6b

age author description
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