diff frontends/src/quick_frontend/quick_app.py @ 331:0a8eb0461f31

core: main SAT class now moved in its own module core.sat_main
author Goffi <goffi@goffi.org>
date Mon, 23 May 2011 21:32:28 +0200
parents c1ad04586edf
children f19771d2e63b
line wrap: on
line diff