Mercurial > libervia-backend
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 |