comparison src/bridge/bridge_constructor/bridge_template.ini @ 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 a00e87d48213
children 953536246d9d
comparison
equal deleted inserted replaced
330:608a4a2ba94e 331:0a8eb0461f31