summaryrefslogtreecommitdiff
path: root/monkey/monkey.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2014-12-22 19:15:34 +0100
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:00 +0200
commitc799df6ea970c1335035544c1b2028072b22ebb0 (patch)
treeec967477298df6e24ba5f9c9ebf59e0b2dfafc2e /monkey/monkey.py
parent4eb122ed69549e97bf316cf2aee932897cb7ac25 (diff)
Add support for per-problem fact libraries
Each fact library is loaded at most once, so different problems can share the same library (e.g. family-relation problems).
Diffstat (limited to 'monkey/monkey.py')
0 files changed, 0 insertions, 0 deletions