issues
search
joodicator
/
ic-while-synth
Synthesis of Simple While Programs using Answer Set Programming (BEng final project)
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove end_while from program language.
#5
ghost
opened
9 years ago
0
Generating better templates from less information.
#4
ghost
closed
9 years ago
1
Counterexamples impossible to satisfy with given integer bounds.
#3
ghost
opened
9 years ago
0
Midconditions lose information about read-only and logic variables.
#2
ghost
closed
9 years ago
1
Falsifying a correct program with many input variables is slow.
#1
ghost
opened
9 years ago
0