Cosmetic fixes

This commit is contained in:
Tiago Gomes
2012-12-13 17:51:43 +00:00
parent 05e53eaf37
commit 0594d43539
4 changed files with 9 additions and 17 deletions

View File

@@ -4,7 +4,6 @@ total_professors(128).
total_courses(256).
total_students(4096).
*/
:- use_module(library(pfl)).
@@ -21,6 +20,7 @@ total_students(4096).
:- set_solver(hve).
professor(p0).
professor(p1).
professor(p2).
@@ -18430,5 +18430,5 @@ registration(r13919,c221,s4095).
registration(r13920,c39,s4095).
:- [evidence_128].
:- [evidence_128].