Sign in
gerrit
/
prolog-cafe
/
3d340c5a26080d679bf5e2baf90b0c8a0372f025
/
.
/
examples
/
benchmarks
/
ecrc
/
bench_1_2.in
blob: ba4dbb5ba801e87ecc227eba95f15dbaf5248f0f [
file
]
:-
choice_point
(
10000
).
:-
choice_point
(
10000
).
:-
choice_point0ar
(
10000
).
:-
baktrak1
(
1000000
).
:-
baktrak2
(
1000000
).
