summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorErin van der Veen2018-07-06 13:39:47 +0200
committerErin van der Veen2018-07-06 13:39:47 +0200
commitc2a955b782561504d22c63cd41d62a001d17a477 (patch)
tree784a1989e355104c1e218333ebe6627c5d072c87 /.gitignore
parentGet model if satisfiable (diff)
Reword totality constraint, add producing model to enumeration
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions