update with dynamic solution for problem 1
authorMart Lubbers <mart@martlubbers.net>
Mon, 26 Oct 2015 15:24:02 +0000 (16:24 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 26 Oct 2015 15:24:02 +0000 (16:24 +0100)
commite6d13becb5e9566d6d12ffa247bd076237c34180
treef426865f8ba66decead894259ce8075a69d9c1d6
parent817ddf34dcadc29a4e9174634d18683f804aa8ef
update with dynamic solution for problem 1
.gitignore
1.tex
Makefile
a.tex
ar.tex
pre.tex [moved from preamble.tex with 100% similarity]
src/a1.bash
src/a1.py [new file with mode: 0644]
src/a1.smt [deleted file]