diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-04-23 06:40:14 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-04-23 06:40:14 +0000 |
| commit | aad274022a53b2d43ecdc6c46fcc401f755cb8ee (patch) | |
| tree | 5f9eedd7f7950f46b48371d1588e5660ae79a438 /src/runtime/python | |
| parent | 67f33e5f247bf67db2e4c655740f98d0003275e0 (diff) | |
a trivial refactoring of the reasoner in the C runtime
Diffstat (limited to 'src/runtime/python')
0 files changed, 0 insertions, 0 deletions