Setting Alloy before adding constraints...

[Benchmarks_CSolver.git] / hexiom / csolverHexiom.py

diff --git a/hexiom/csolverHexiom.py b/hexiom/csolverHexiom.py
index 8668c1fec662f7c45f75a5f5d50eecfef4d0452e..168e273bdbefc92e672a4e6eaf164534baa66446 100755 (executable)
--- a/hexiom/csolverHexiom.py
+++ b/hexiom/csolverHexiom.py
@@ -786,13 +786,14 @@ def main():
        board_input.print_to_stdout()
        csolverlb = ps.loadCSolver();
        csolver = csolverlb.createCCSolver()
+       if len(sys.argv) > 2 and sys.argv[-1] == "--alloy":
+               csolverlb.setAlloyEncoder(csolver)
        formulation = SAT_formulation_from_board_input(board_input, csolverlb, csolver)
 
        print '=== Done! Calling CSolver solver now ==='
        if len(sys.argv) > 2 and sys.argv[-1] == "--dump":
                csolverlb.serialize(csolver)
-       if len(sys.argv) > 2 and sys.argv[-1] == "--alloy":
-               csolverlb.setAlloyEncoder(csolver)
+       
 #     csolverlb.printConstraints(csolver)
        if csolverlb.solve(csolver) != 1:
                print '*** Got UNSAT result! ***'