summaryrefslogtreecommitdiff
path: root/Assignment2/report/assignment2.tex
diff options
context:
space:
mode:
authorCamil Staps2018-07-06 15:30:13 +0200
committerCamil Staps2018-07-06 15:30:13 +0200
commitd9011b5b2b5163228de4dd33edd3903ff09d8434 (patch)
tree3d741e6e4cb71381e49a0ee80449078f91df423b /Assignment2/report/assignment2.tex
parentAdd minimization goals (not supported by Z3) (diff)
Try to let Z3 minimize stuff
Diffstat (limited to 'Assignment2/report/assignment2.tex')
0 files changed, 0 insertions, 0 deletions