diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-12-22 19:15:34 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
| commit | c799df6ea970c1335035544c1b2028072b22ebb0 (patch) | |
| tree | ec967477298df6e24ba5f9c9ebf59e0b2dfafc2e /monkey/monkey.py | |
| parent | 4eb122ed69549e97bf316cf2aee932897cb7ac25 (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