log src/core/sat_main.py @ 331:0a8eb0461f31

age author description
2011-05-23 Goffi core: main SAT class now moved in its own module core.sat_main base src/sat.tac@e0d0151216d7