Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_lib / sCASP / test / all_programs /
dcc
sasp
abdbirds.plSep 17, 2022, 1:58:51 AM436 B
bec_light.passSep 17, 2022, 1:58:51 AM5.96 KiB
bec_light.plSep 17, 2022, 1:58:51 AM843 B
bec_loan.plSep 17, 2022, 1:58:51 AM1.12 KiB
bec_tap_01_overflow.plSep 17, 2022, 1:58:51 AM2.78 KiB
bec_tap_02_no_overflow.plSep 17, 2022, 1:58:51 AM2.51 KiB
bec_tap_03_two_models.plSep 17, 2022, 1:58:51 AM2.86 KiB
bec_tap_04_abducible_infer_event_time.plSep 17, 2022, 1:58:51 AM2.86 KiB
bec_theory.inclSep 17, 2022, 1:58:51 AM1.23 KiB
birds.passSep 17, 2022, 1:58:51 AM3.73 KiB
birds.plSep 17, 2022, 1:58:51 AM913 B
citizenshiptrust-scasp.plSep 17, 2022, 1:58:51 AM2.72 KiB
classic_negation_inconstistent.passSep 17, 2022, 1:58:51 AM7 B
classic_negation_inconstistent.plSep 17, 2022, 1:58:51 AM103 B
classic_negation_incostistent.plSep 17, 2022, 1:58:51 AM76 B
clpq_equality.plSep 17, 2022, 1:58:51 AM242 B
criminaljustice-scasp.plSep 17, 2022, 1:58:51 AM3.97 KiB
cross_train_Pontelli_97_execution.txtSep 17, 2022, 1:58:51 AM336 B
family.passSep 17, 2022, 1:58:51 AM1.51 KiB
family.plSep 17, 2022, 1:58:51 AM1.29 KiB
family-le-scasp.plSep 17, 2022, 1:58:51 AM694 B
forall_arity.passSep 17, 2022, 1:58:51 AM7 B
forall_arity.plSep 17, 2022, 1:58:51 AM135 B
gpa.plSep 17, 2022, 1:58:51 AM234 B
hamcycle_two.passSep 17, 2022, 1:58:51 AM19.53 KiB
hamcycle_two.plSep 17, 2022, 1:58:51 AM621 B
hamcycle.passSep 17, 2022, 1:58:51 AM10.75 KiB
hamcycle.plSep 17, 2022, 1:58:51 AM561 B
hamcycle2.plSep 17, 2022, 1:58:51 AM561 B
hanoi_7.plSep 17, 2022, 1:58:51 AM554 B
hanoi_scasp_7.plSep 17, 2022, 1:58:51 AM527 B
hanoi.passSep 17, 2022, 1:58:51 AM50.05 KiB
hanoi.plSep 17, 2022, 1:58:51 AM556 B
haplotype.plSep 17, 2022, 1:58:51 AM562 B
impossibleancestor-scasp.plSep 17, 2022, 1:58:51 AM1.17 KiB
isdapermissioncorrected-scasp.plSep 17, 2022, 1:58:51 AM2.61 KiB
itispermittedthat-scasp.plSep 17, 2022, 1:58:51 AM2.43 KiB
left-rec-succ_BAD.plSep 17, 2022, 1:58:51 AM254 B
lion.plSep 17, 2022, 1:58:51 AM303 B
list-scasp.plSep 17, 2022, 1:58:51 AM1.52 KiB
loanwithcure-scasp.plSep 17, 2022, 1:58:51 AM2.62 KiB
loop_pos.plSep 17, 2022, 1:58:51 AM61 B
loop_succ_pos.plSep 17, 2022, 1:58:51 AM68 B
loopvar.plSep 17, 2022, 1:58:51 AM139 B
loopvar2.plSep 17, 2022, 1:58:51 AM155 B
min_model.plSep 17, 2022, 1:58:51 AM104 B
minicontract-scasp.plSep 17, 2022, 1:58:51 AM2.13 KiB
natnum.plSep 17, 2022, 1:58:51 AM331 B
obligation-scasp.plSep 17, 2022, 1:58:51 AM2.65 KiB
path_loop.plSep 17, 2022, 1:58:51 AM173 B
pq.passSep 17, 2022, 1:58:51 AM138 B
pq.plSep 17, 2022, 1:58:51 AM47 B
queens_old.plSep 17, 2022, 1:58:51 AM1.93 KiB
queens.passSep 17, 2022, 1:58:51 AM11.76 KiB
queens.plSep 17, 2022, 1:58:51 AM988 B
rat.passSep 17, 2022, 1:58:51 AM120 B
rat.plSep 17, 2022, 1:58:51 AM68 B
simpleRPS-scasp.plSep 17, 2022, 1:58:51 AM1.02 KiB
subset-scasp.plSep 17, 2022, 1:58:51 AM981 B
turingcomplete-scasp.plSep 17, 2022, 1:58:51 AM1.85 KiB
vars.passSep 17, 2022, 1:58:51 AM160 B
vars.plSep 17, 2022, 1:58:51 AM82 B