![[Jenkins]](/jenkins/static/9bf812e2/images/svgs/logo.svg){kind=logo}
Workspace of logicmoo_workspace on Built-In Node
| LTL | ||||
| XSB | ||||
| automaton.clp | Oct 10, 2021, 7:14:11 AM | 429 B | ||
| automaton.tlp | Oct 10, 2021, 7:14:11 AM | 504 B | ||
| bad.tlp | Oct 10, 2021, 7:14:11 AM | 29 B | ||
| bad10.tlp | Oct 10, 2021, 7:14:11 AM | 76 B | ||
| bad2.tlp | Oct 10, 2021, 7:14:11 AM | 35 B | ||
| bad3.tlp | Oct 10, 2021, 7:14:11 AM | 84 B | ||
| bad4.tlp | Oct 10, 2021, 7:14:11 AM | 182 B | ||
| bad5.tlp | Oct 10, 2021, 7:14:11 AM | 38 B | ||
| bad6.tlp | Oct 10, 2021, 7:14:11 AM | 155 B | ||
| bad7.tlp | Oct 10, 2021, 7:14:11 AM | 1.03 KiB | ||
| bad8.tlp | Oct 10, 2021, 7:14:11 AM | 70 B | ||
| bad9.tlp | Oct 10, 2021, 7:14:11 AM | 137 B | ||
| co_t.tlp | Oct 10, 2021, 7:14:11 AM | 1.08 KiB | ||
| coind_all.tlp | Oct 10, 2021, 7:14:11 AM | 410 B | ||
| coind_new.tlp | Oct 10, 2021, 7:14:11 AM | 235 B | ||
| coind_old.tlp | Oct 10, 2021, 7:14:11 AM | 277 B | ||
| coind.tlp | Oct 10, 2021, 7:14:11 AM | 237 B | ||
| coind2_all.tlp | Oct 10, 2021, 7:14:11 AM | 391 B | ||
| coind2_wcut.tlp | Oct 10, 2021, 7:14:11 AM | 259 B | ||
| coind2.tlp | Oct 10, 2021, 7:14:11 AM | 253 B | ||
| comember_comp.ecl | Oct 10, 2021, 7:14:11 AM | 3.77 KiB | ||
| comember.clp | Oct 10, 2021, 7:14:11 AM | 1.58 KiB | ||
| comment_example.tlp | Oct 10, 2021, 7:14:11 AM | 275 B | ||
| conditional.clp | Oct 10, 2021, 7:14:11 AM | 121 B | ||
| conditional.tlp | Oct 10, 2021, 7:14:11 AM | 135 B | ||
| graph.tlp | Oct 10, 2021, 7:14:11 AM | 677 B | ||
| guo_gupta_2_1.tlp | Oct 10, 2021, 7:14:11 AM | 270 B | ||
| guo_gupta_3_1.tlp | Oct 10, 2021, 7:14:11 AM | 213 B | ||
| guo_gupta_4_1.tlp | Oct 10, 2021, 7:14:11 AM | 268 B | ||
| guo_gupta_4_2.tlp | Oct 10, 2021, 7:14:11 AM | 202 B | ||
| guo_gupta_6_1.tlp | Oct 10, 2021, 7:14:11 AM | 166 B | ||
| mini_graph.tlp | Oct 10, 2021, 7:14:11 AM | 175 B | ||
| mini_language.tlp | Oct 10, 2021, 7:14:11 AM | 3.58 KiB | ||
| module.tlp | Oct 10, 2021, 7:14:11 AM | 176 B | ||
| paper_example.tlp | Oct 10, 2021, 7:14:11 AM | 369 B | ||
| parse.tlp | Oct 10, 2021, 7:14:11 AM | 552 B | ||
| README | Oct 10, 2021, 7:14:11 AM | 3.90 KiB | ||
| simple1_old_first.tlp | Oct 10, 2021, 7:14:11 AM | 194 B | ||
| simple1.tlp | Oct 10, 2021, 7:14:11 AM | 176 B | ||
| simple2.tlp | Oct 10, 2021, 7:14:11 AM | 213 B | ||
| small_comment_example.tlp | Oct 10, 2021, 7:14:11 AM | 224 B | ||
| support.pl | Oct 10, 2021, 7:14:11 AM | 101 B | ||
| supported.tlp | Oct 10, 2021, 7:14:11 AM | 165 B | ||
| tnot1.tlp | Oct 10, 2021, 7:14:11 AM | 1.56 KiB | ||
| trivial_not_tabled.tlp | Oct 10, 2021, 7:14:11 AM | 50 B | ||
| trivial_tabled.tlp | Oct 10, 2021, 7:14:11 AM | 65 B | ||