|
|
|
@ -102,7 +102,7 @@ compile_wrapper() { |
|
|
|
|
|
|
|
compile_chapter() { |
|
|
|
#for chapter in smtzthree proplogic satsolver ndpred predlogic ndpred smt bdd eqchecking symbenc temporal |
|
|
|
for chapter in bdd temporal |
|
|
|
for chapter in ndpred |
|
|
|
do |
|
|
|
set_chapter "\\chapter${chapter}true" |
|
|
|
compile_wrapper "$chapter" "$@" |
|
|
|
|
