diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change extension of school parschema to pfl

Browse Source
This commit is contained in:
Tiago Gomes 2012-12-12 16:00:21 +00:00
parent 0f46c97481
commit 8eb657aec2
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/CLPBN/Makefile.in
View File

@ -78,7 +78,7 @@ CLPBN_SCHOOL_EXAMPLES= \
$(CLPBN_EXDIR)/School/README \
$(CLPBN_EXDIR)/School/evidence_128.yap \
$(CLPBN_EXDIR)/School/schema.yap \
$(CLPBN_EXDIR)/School/parschema.yap \
$(CLPBN_EXDIR)/School/parschema.pfl \
$(CLPBN_EXDIR)/School/school_128.yap \
$(CLPBN_EXDIR)/School/school_32.yap \
$(CLPBN_EXDIR)/School/sch32.yap \

6
packages/CLPBN/examples/School/README
View File

@ -5,11 +5,11 @@ There are four main files:
school_128.yap: a school with 128 professors, 256 courses and 4096 students.
school_64.yap: medium size school
school_32.yap: small school (clp(bn))
school_32.yap: small school (CLP(BN))
sch32.yap: small school (pfl)
sch32.yap: small school (PFL)
parschema.yap: the PFL schema
parschema.pfl: the PFL schema
schema.yap: the CLP(BN) schema

0
packages/CLPBN/examples/School/parschema.yap → packages/CLPBN/examples/School/parschema.pfl
View File

4
packages/CLPBN/examples/School/sch32.yap
View File

@ -17,9 +17,9 @@ total_students(256).
:- yap_flag(write_strings,on).
:- ensure_loaded(parschema).
:- ensure_loaded('parschema.pfl').
:- ensure_loaded(school32_data).
:- set_clpbn_flag(solver, bdd).
:- set_solver(hve).