Closed jinnaiyuu closed 9 years ago
in order to solve freecell, detect static predicates with 2 arity.
TODO: feasible predicates check
TODO: depot and driverlog dump a strannge segfault only when using gnuparallel.
in order to solve freecell, detect static predicates with 2 arity.