TODO: 2015/07/07

Question 1

in order to solve freecell, detect static predicates with 2 arity.

Question 2

TODO: feasible predicates check

Yuu David Jinnai · Answer · Tue Jul 07 2015 16:41:00 GMT+0800 (China Standard Time)

TODO: feasible predicates check

Question 3

TODO: depot and driverlog dump a strannge segfault only when using gnuparallel.

Yuu David Jinnai · Answer · Wed Jul 08 2015 15:17:36 GMT+0800 (China Standard Time)

TODO: depot and driverlog dump a strannge segfault only when using gnuparallel.