diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-01-07 12:50:32 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-01-07 12:50:32 +0000 |
| commit | 2c169406fcfa7a38cd89f8a6acbd0bb138d7c330 (patch) | |
| tree | f169176053215f23bf098d22e8c1f24a2b222c16 /src/runtime/javascript/editor.html | |
| parent | cade578d04b7a104723a06beea98895369c85cfc (diff) | |
a new reasoner in the C runtime. It supports tabling which makes it decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions