Usually, ACE only print out the first 100 solutions.
This is controlled by "solution-confirmation" method in ACE.lisp.
Increasing the value in the condition can enable printing out more solutions.
Also, set the "termination-type" in the first control-file to "all". This moment,
"termination-value" is the maximum number of solutions to be found.
No comments:
Post a Comment