Mercurial > libervia-backend
log src/sat.tac @ 888:d0ed6993d562
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 |