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

Workspace of logicmoo_workspace on Built-In Node

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