log src/core/sat_main.py @ 335:99206631503e

age author description
Tue, 24 May 2011 00:48:29 +0200 Goffi core: minor refactoring
Mon, 23 May 2011 21:32:28 +0200 Goffi core: main SAT class now moved in its own module core.sat_main base src/sat.tac@e0d0151216d7