1. multi-shot-solving
  2. encodings
Name
..
board.lp
chemistry-external.lp
chemistry.lp
control-acid.py
control-acid.run
control-base.py
control-base.run
control-external.py
control-external.run
hello.lp
inc.lp
inc.py
opt.py
optimization.lp
ricochet.lp
ricochet.py
targets.lp
toh.lp
tohCtrl.lp
tohCtrl.py
toh_ctrl.py
toh_enc_inc.lp
toh_ins.lp