Tree @
master
(
Download .tar.gz
)
..
beer.smt
foo.smt
hello1.smt
hello2.smt
match.smt
test-str.smt
truth-machine.smt
History of eg
/
truth-machine.smt
@
master
git clone https://git.catseye.tc/SMITH/
Add truth machine example.
catseye
12 years ago