Mercurial > libervia-backend
diff frontends/sortilege_old/sortilege @ 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 | f551e44adb25 |
children | 2a072735e459 |