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