simon-svn: puzzles: simon
tartarus-commits at lists.tartarus.org
tartarus-commits at lists.tartarus.org
Mon Apr 25 15:03:54 BST 2005
SVN root: svn://ixion.tartarus.org/main
Changes by: simon
Revision: 5670
Date: 2005-04-25 15:03:53 +0100 (Mon, 25 Apr 2005)
Log message (9 lines):
Various changes prompted by my boss taking an interest:
- added a compilation option -DSTANDALONE_SOLVER which makes both
of Solo's internal solvers accessible from the command line.
- fix a bug in nsolve turned up by testing in this mode: it failed
to iterate at all! Oddly, this massive improvement to the
effectiveness of nsolve hasn't emptied the generated grids by
very much.
- add an extra mode of reasoning to my to-do list (which is the
dual of one already there, so I'm kicking myself).
Modified files:
U puzzles/solo.c
Links:
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi?rev=5670&view=rev
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/solo.c?rev=5670&r1=5669&r2=5670
More information about the tartarus-commits
mailing list