Introduce set_em_solver and use it

This commit is contained in:
Tiago Gomes
2012-12-17 21:19:47 +00:00
parent 40a72a0a63
commit f1499f99f3
9 changed files with 29 additions and 33 deletions

View File

@@ -18,9 +18,6 @@ total_students(4096).
:- ensure_loaded('parschema.pfl').
:- set_solver(hve).
professor(p0).
professor(p1).
professor(p2).

View File

@@ -18,9 +18,6 @@ total_students(256).
:- ensure_loaded('parschema.pfl').
:- set_solver(hve).
professor(p0).
professor(p1).
professor(p2).

View File

@@ -18,9 +18,6 @@ total_students(1024).
:- ensure_loaded('parschema.pfl').
:- set_solver(hve).
professor(p0).
professor(p1).
professor(p2).