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

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_sys / logicmoo_agi / prolog / ILP / hakank / sicstus /
3_jugs.plJun 21, 2023, 5:21:55 AM5.39 KiB
a_round_of_golf.plJun 21, 2023, 5:21:55 AM5.29 KiB
abbots_puzzle.plJun 21, 2023, 5:21:55 AM1.24 KiB
added_corner.plJun 21, 2023, 5:21:55 AM1.12 KiB
all_differ_from_at_least_k_pos.plJun 21, 2023, 5:21:55 AM2.39 KiB
all_equal.plJun 21, 2023, 5:21:55 AM1.20 KiB
all_interval.plJun 21, 2023, 5:21:55 AM2.79 KiB
all_min_dist.plJun 21, 2023, 5:21:55 AM1.32 KiB
alldifferent_cst.plJun 21, 2023, 5:21:55 AM1.37 KiB
alldifferent_except_0.plJun 21, 2023, 5:21:55 AM3.57 KiB
alldifferent_modulo.plJun 21, 2023, 5:21:55 AM1.31 KiB
allpartitions.plJun 21, 2023, 5:21:55 AM1.74 KiB
alpha.plJun 21, 2023, 5:21:55 AM1.71 KiB
among_seq.plJun 21, 2023, 5:21:55 AM2.75 KiB
among.plJun 21, 2023, 5:21:55 AM1.76 KiB
arch_friends.plJun 21, 2023, 5:21:55 AM2.32 KiB
assignment.plJun 21, 2023, 5:21:55 AM8.35 KiB
averbach_1.2.plJun 21, 2023, 5:21:55 AM1.83 KiB
averbach_1.3.plJun 21, 2023, 5:21:55 AM3.03 KiB
averbach_1.4.plJun 21, 2023, 5:21:55 AM2.51 KiB
babysitting.plJun 21, 2023, 5:21:55 AM3.00 KiB
bin_packing.plJun 21, 2023, 5:21:55 AM8.04 KiB
bin_packing2.plJun 21, 2023, 5:21:55 AM5.66 KiB
breaking_news.plJun 21, 2023, 5:21:55 AM3.49 KiB
build_a_house.plJun 21, 2023, 5:21:55 AM1.24 KiB
building_blocks.plJun 21, 2023, 5:21:55 AM3.41 KiB
bus_schedule.plJun 21, 2023, 5:21:55 AM1.75 KiB
calculs_d_enfer.plJun 21, 2023, 5:21:55 AM2.17 KiB
changes.plJun 21, 2023, 5:21:55 AM1.61 KiB
circling_squares.plJun 21, 2023, 5:21:55 AM1.67 KiB
circuit.plJun 21, 2023, 5:21:55 AM3.45 KiB
clique.plJun 21, 2023, 5:21:55 AM28.71 KiB
clock_triplet.plJun 21, 2023, 5:21:55 AM2.28 KiB
coins_grid.plJun 21, 2023, 5:21:55 AM3.21 KiB
coins3.plJun 21, 2023, 5:21:55 AM3.60 KiB
contracting_costs.plJun 21, 2023, 5:21:55 AM1.31 KiB
covering_opl.plJun 21, 2023, 5:21:55 AM3.20 KiB
crew.plJun 21, 2023, 5:21:55 AM6.42 KiB
crossword2.plJun 21, 2023, 5:21:55 AM4.28 KiB
crypta.plJun 21, 2023, 5:21:55 AM2.36 KiB
crypto.plJun 21, 2023, 5:21:55 AM3.50 KiB
cumulative_test.plJun 21, 2023, 5:21:55 AM3.12 KiB
cur_num.plJun 21, 2023, 5:21:55 AM1.39 KiB
curious_set_of_integers.plJun 21, 2023, 5:21:55 AM2.14 KiB
debruijn.plJun 21, 2023, 5:21:55 AM4.65 KiB
devils_word.plJun 21, 2023, 5:21:55 AM2.29 KiB
diet1.plJun 21, 2023, 5:21:55 AM2.46 KiB
dinner.plJun 21, 2023, 5:21:55 AM1.57 KiB
discrete_tomography.plJun 21, 2023, 5:21:55 AM3.26 KiB
distribute.plJun 21, 2023, 5:21:55 AM2.14 KiB
donald_gerald.plJun 21, 2023, 5:21:55 AM798 B
einav_puzzle.plJun 21, 2023, 5:21:55 AM5.23 KiB
eq10.plJun 21, 2023, 5:21:55 AM1.33 KiB
eq20.plJun 21, 2023, 5:21:55 AM2.74 KiB
euler1.plJun 21, 2023, 5:21:55 AM2.88 KiB
euler10.plJun 21, 2023, 5:21:55 AM3.00 KiB
euler11.plJun 21, 2023, 5:21:55 AM5.24 KiB
euler12.plJun 21, 2023, 5:21:55 AM1.54 KiB
euler13.plJun 21, 2023, 5:21:55 AM7.16 KiB
euler14.plJun 21, 2023, 5:21:55 AM3.15 KiB
euler15.plJun 21, 2023, 5:21:55 AM975 B
euler16.plJun 21, 2023, 5:21:55 AM531 B
euler17.plJun 21, 2023, 5:21:55 AM2.82 KiB
euler18.plJun 21, 2023, 5:21:55 AM2.64 KiB
euler19.plJun 21, 2023, 5:21:55 AM1.67 KiB
euler2.plJun 21, 2023, 5:21:55 AM2.11 KiB
euler20.plJun 21, 2023, 5:21:55 AM1.11 KiB
euler21.plJun 21, 2023, 5:21:55 AM1.56 KiB
euler22.plJun 21, 2023, 5:21:55 AM2.22 KiB
euler23.plJun 21, 2023, 5:21:55 AM5.67 KiB
euler24.plJun 21, 2023, 5:21:55 AM2.18 KiB
euler25.plJun 21, 2023, 5:21:55 AM2.69 KiB
euler26.plJun 21, 2023, 5:21:55 AM2.96 KiB
euler27.plJun 21, 2023, 5:21:55 AM2.98 KiB
euler28.plJun 21, 2023, 5:21:55 AM1.45 KiB
euler29.plJun 21, 2023, 5:21:55 AM1.10 KiB
euler3.plJun 21, 2023, 5:21:55 AM762 B
euler30.plJun 21, 2023, 5:21:55 AM1.47 KiB
euler31.plJun 21, 2023, 5:21:55 AM2.54 KiB
euler32.plJun 21, 2023, 5:21:55 AM1.54 KiB
euler33.plJun 21, 2023, 5:21:55 AM1.45 KiB
euler34.plJun 21, 2023, 5:21:55 AM1.52 KiB
euler35.plJun 21, 2023, 5:21:55 AM1.18 KiB
euler36.plJun 21, 2023, 5:21:55 AM1.13 KiB
euler37.plJun 21, 2023, 5:21:55 AM1.75 KiB
euler38.plJun 21, 2023, 5:21:55 AM1.59 KiB
euler39.plJun 21, 2023, 5:21:55 AM2.17 KiB
euler4.plJun 21, 2023, 5:21:55 AM2.65 KiB
euler40.plJun 21, 2023, 5:21:55 AM1.71 KiB
euler41.plJun 21, 2023, 5:21:55 AM1.89 KiB
euler42.plJun 21, 2023, 5:21:55 AM1.58 KiB
euler43.plJun 21, 2023, 5:21:55 AM1.82 KiB
euler44.plJun 21, 2023, 5:21:55 AM1.86 KiB
euler45.plJun 21, 2023, 5:21:55 AM1.46 KiB
euler46.plJun 21, 2023, 5:21:55 AM1.23 KiB
euler47.plJun 21, 2023, 5:21:55 AM2.12 KiB
euler48.plJun 21, 2023, 5:21:55 AM821 B
euler49.plJun 21, 2023, 5:21:55 AM1.69 KiB
euler5.plJun 21, 2023, 5:21:55 AM854 B
euler50.plJun 21, 2023, 5:21:55 AM4.69 KiB
euler6.plJun 21, 2023, 5:21:55 AM1.65 KiB
euler7.plJun 21, 2023, 5:21:55 AM815 B
euler8.plJun 21, 2023, 5:21:55 AM4.90 KiB
euler9.plJun 21, 2023, 5:21:55 AM1.55 KiB
exactly.plJun 21, 2023, 5:21:55 AM1.10 KiB
exodus.plJun 21, 2023, 5:21:55 AM4.23 KiB
fancy.plJun 21, 2023, 5:21:55 AM1.85 KiB
fill_a_pix.plJun 21, 2023, 5:21:55 AM5.43 KiB
five_brigands.plJun 21, 2023, 5:21:55 AM1.68 KiB
four_islands.plJun 21, 2023, 5:21:55 AM4.93 KiB
fractions.plJun 21, 2023, 5:21:55 AM1.11 KiB
furniture_moving.plJun 21, 2023, 5:21:55 AM2.88 KiB
futoshiki.plJun 21, 2023, 5:21:55 AM3.75 KiB
general_store.plJun 21, 2023, 5:21:55 AM5.27 KiB
global_contiguity.plJun 21, 2023, 5:21:55 AM1.81 KiB
hakank_utils.plJun 21, 2023, 5:21:55 AM24.24 KiB
hamming_distance.plJun 21, 2023, 5:21:55 AM1.29 KiB
heterosquare.plJun 21, 2023, 5:21:55 AM2.81 KiB
hidato.plJun 21, 2023, 5:21:55 AM6.55 KiB
huey_dewey_louie.plJun 21, 2023, 5:21:55 AM1.36 KiB
inverse.plJun 21, 2023, 5:21:55 AM1.72 KiB
isbn.plJun 21, 2023, 5:21:55 AM1.79 KiB
jobs_puzzle.plJun 21, 2023, 5:21:55 AM2.84 KiB
just_forgotten.plJun 21, 2023, 5:21:55 AM1.74 KiB
K4P2GracefulGraph2.plJun 21, 2023, 5:21:55 AM1.44 KiB
kakuro.plJun 21, 2023, 5:21:55 AM3.43 KiB
kenken2.plJun 21, 2023, 5:21:55 AM4.62 KiB
killer_sudoku.plJun 21, 2023, 5:21:55 AM5.20 KiB
knapsack_investments.plJun 21, 2023, 5:21:55 AM4.52 KiB
knights_path.plJun 21, 2023, 5:21:55 AM2.83 KiB
labeled_dice.plJun 21, 2023, 5:21:55 AM6.35 KiB
langford.plJun 21, 2023, 5:21:55 AM2.23 KiB
latin_squares.plJun 21, 2023, 5:21:55 AM1.53 KiB
least_diff.plJun 21, 2023, 5:21:55 AM1.60 KiB
lecture_series.plJun 21, 2023, 5:21:55 AM4.22 KiB
lectures.plJun 21, 2023, 5:21:55 AM1.53 KiB
lichtenstein_coloring.plJun 21, 2023, 5:21:55 AM8.17 KiB
magic_sequence.plJun 21, 2023, 5:21:55 AM1.35 KiB
mamas_age.plJun 21, 2023, 5:21:55 AM1.13 KiB
mankell.plJun 21, 2023, 5:21:55 AM2.18 KiB
map_coloring.plJun 21, 2023, 5:21:55 AM1.98 KiB
marathon2.plJun 21, 2023, 5:21:55 AM2.20 KiB
minesweeper.plJun 21, 2023, 5:21:55 AM10.26 KiB
miss_manners.plJun 21, 2023, 5:21:55 AM9.00 KiB
monks_and_doors.plJun 21, 2023, 5:21:55 AM2.33 KiB
mr_smith.plJun 21, 2023, 5:21:55 AM1.83 KiB
music_men.plJun 21, 2023, 5:21:55 AM3.09 KiB
nadel.plJun 21, 2023, 5:21:55 AM6.71 KiB
olympic.plJun 21, 2023, 5:21:55 AM1.69 KiB
pandigital_numbers.plJun 21, 2023, 5:21:55 AM3.20 KiB
pert.plJun 21, 2023, 5:21:55 AM1.89 KiB
photo_problem.plJun 21, 2023, 5:21:55 AM4.31 KiB
pigeon_hole.plJun 21, 2023, 5:21:55 AM1.69 KiB
place_number_puzzle.plJun 21, 2023, 5:21:55 AM1.79 KiB
post_office_problem2.plJun 21, 2023, 5:21:55 AM3.94 KiB
pythagoras.plJun 21, 2023, 5:21:55 AM942 B
quasigroup_completion.plJun 21, 2023, 5:21:55 AM5.99 KiB
rabbits.plJun 21, 2023, 5:21:55 AM765 B
README.mdJun 21, 2023, 5:21:55 AM313 B
remainders.plJun 21, 2023, 5:21:55 AM816 B
remarkable_sequence.plJun 21, 2023, 5:21:55 AM1.97 KiB
safe_cracking.plJun 21, 2023, 5:21:55 AM1.28 KiB
scheduling_speakers.plJun 21, 2023, 5:21:55 AM1.43 KiB
send_more_money_any_base.plJun 21, 2023, 5:21:55 AM2.82 KiB
send_most_money.plJun 21, 2023, 5:21:55 AM2.05 KiB
sequence.plJun 21, 2023, 5:21:55 AM1.86 KiB
seseman.plJun 21, 2023, 5:21:55 AM2.63 KiB
set_covering_deployment.plJun 21, 2023, 5:21:55 AM4.22 KiB
set_covering_skiena.plJun 21, 2023, 5:21:55 AM2.68 KiB
set_covering.plJun 21, 2023, 5:21:55 AM2.24 KiB
set_covering2.plJun 21, 2023, 5:21:55 AM2.49 KiB
set_covering3.plJun 21, 2023, 5:21:55 AM2.77 KiB
set_covering4.plJun 21, 2023, 5:21:55 AM5.50 KiB
set_partition.plJun 21, 2023, 5:21:55 AM6.10 KiB
ski_assignment.plJun 21, 2023, 5:21:55 AM2.44 KiB
sliding_sum.plJun 21, 2023, 5:21:55 AM2.18 KiB
smuggler_knapsack.plJun 21, 2023, 5:21:55 AM1.39 KiB
stable_marriage.plJun 21, 2023, 5:21:55 AM7.29 KiB
steiner.plJun 21, 2023, 5:21:55 AM3.05 KiB
strimko2.plJun 21, 2023, 5:21:55 AM4.55 KiB
stuckey_seesaw.plJun 21, 2023, 5:21:55 AM1.93 KiB
subset_sum.plJun 21, 2023, 5:21:55 AM1.68 KiB
sudoku.plJun 21, 2023, 5:21:55 AM106.12 KiB
survo_puzzle.plJun 21, 2023, 5:21:55 AM4.67 KiB
talisman_square.plJun 21, 2023, 5:21:55 AM2.64 KiB
timpkin.plJun 21, 2023, 5:21:55 AM889 B
to_num.plJun 21, 2023, 5:21:55 AM2.91 KiB
torn_numbers.plJun 21, 2023, 5:21:55 AM1.50 KiB
tourist_site_competition.plJun 21, 2023, 5:21:55 AM4.87 KiB
traffic_lights.plJun 21, 2023, 5:21:55 AM3.31 KiB
trains.plJun 21, 2023, 5:21:55 AM1.33 KiB
tsp.plJun 21, 2023, 5:21:55 AM8.63 KiB
tunapalooza.plJun 21, 2023, 5:21:55 AM4.35 KiB
twin_letters.plJun 21, 2023, 5:21:55 AM2.51 KiB
volsay1.plJun 21, 2023, 5:21:55 AM740 B
volsay2.plJun 21, 2023, 5:21:55 AM810 B
warehouse.plJun 21, 2023, 5:21:55 AM3.29 KiB
was-index.htmlJun 21, 2023, 5:21:55 AM20.83 KiB
who_killed_agatha.plJun 21, 2023, 5:21:55 AM5.35 KiB
xkcd.plJun 21, 2023, 5:21:55 AM1.55 KiB
young_tableaux.plJun 21, 2023, 5:21:55 AM4.51 KiB