projects / satcheck.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Need to allow for one spare encoding for the non-executed case with no suitable stores.
[satcheck.git] / benchmarks / checkfence / paths.sh
1 export C2LSL_HOME=~/checkfence/c2lsl/
2 export PATH=~/checkfence/c2lsl/bin:$PATH
3 export CHECKFENCE_HOME=~/checkfence/checkfence
4 export PATH=~/checkfence/checkfence/run:$PATH
SATCheck ModelChecker