chiark / gitweb /
fudge the {n,m}_max_frags to deal with rounding errors in glpk results
[matchsticks-search.git] / main.c
2014-03-09 Ian Jacksonfudge the {n,m}_max_frags to deal with rounding errors...
2014-03-09 Ian Jacksonmove minham check earlier; this avoids some printing etc
2014-03-09 Ian Jacksonminimum output match hamming weight; enforce argument...
2014-03-09 Ian Jacksoncommentary: document new criterion introduced in ea5f35...
2014-03-09 Ian Jacksoncommentary: clarify and fix input vs output confusion
2014-03-09 Ian Jacksonadd one missing call to FOR_BITS (no functional change)
2014-03-09 Ian Jackson{n,m}_max_frags: fix fencepost efficiency problem
2014-03-09 Ian Jacksonrename {n,m}_over_best to {n,m}_max_frags to reflect...
2014-03-09 Ian Jacksonintroduce m_over_best and use it instead of computing...
2014-03-09 Ian Jacksonmove had_max and totalfrags update later in loop body...
2014-03-09 Ian Jacksonprovide and use FOR_BITS
2014-03-09 Ian Jacksonremove some debugging newlines (mistakenly included...
2014-03-09 Ian Jacksonmulticore: in master, when collecting results, pay...
2014-03-09 Ian Jacksononly report "reporting" if we actually have something
2014-03-09 Ian Jacksonshow git version in output
2014-03-09 Ian Jacksonpass weight array to workers (fix semantic conflict...
2014-03-08 Ian Jacksonapply floor to n_over_best
2014-03-08 Ian Jacksonadd <math.h> and -lm (no functional change)
2014-03-08 Ian JacksonMerge remote-tracking branch 'sgt/master'
2014-03-08 Ian Jacksonbreak out set_best
2014-03-08 Ian Jacksonin multicore, generator periodically checks for new...
2014-03-08 Ian Jacksonin mc_iterate_worker, use maxhamweight_ok and preconsid...
2014-03-08 Ian Jacksonbreak out maxhamweight_ok (no functional change)
2014-03-08 Ian Jacksonpredeclare preconsider_ok and multicore_check_for_new_b...
2014-03-08 Ian Jacksontiresome portability fix for pread on squeeze
2014-03-08 Ian Jacksonmulticore support seems to work
2014-03-08 Ian Jacksonintroduce progress_eol and make stderr line buffered
2014-03-08 Ian Jacksonin preconsider_ok, check for frags >= maxhamweight...
2014-03-08 Ian Jacksonbreak out preconsider_ok
2014-03-08 Ian JacksonPRINTF is less bodgy now
2014-03-08 Ian Jacksonbreak out report()
2014-03-08 Ian Jacksonwip multicore: add argument parsing; currently -j optio...
2014-03-08 Simon TathamCheck max Hamming weight in the other direction.
2014-03-08 Simon TathamPrune by symmetry: constrain 1st adj row to all 1s... v1
2014-03-08 Simon TathamSeparate stdout from stderr.
2014-03-08 Simon TathamOutput the actual dissection, as a matrix.
2014-03-07 Ian Jacksoncommentary
2014-03-07 Ian Jacksonassert our arguments
2014-03-07 Ian Jacksondo not leak prob when retrying
2014-03-07 Ian Jacksonsearch in order by max hamming weight
2014-03-07 Ian JacksonRevert "loop in reverse order - this is a better search...
2014-03-07 Ian Jacksonloop in reverse order - this is a better search path
2014-03-07 Ian JacksonRevert "mix up the order" and "mix up the order"
2014-03-07 Ian Jacksonmix up the order, print better
2014-03-07 Ian Jacksonmix up the order
2014-03-07 Ian Jacksonerror fixes; tried interior but doesn't work (EINSTAB...
2014-03-07 Ian Jacksonprint best solution
2014-03-07 Ian Jacksonimprove maxminsize thing
2014-03-07 Ian Jacksonfix printing more
2014-03-07 Ian Jacksonless printing, optimise
2014-03-07 Ian Jacksonoutput improvements
2014-03-07 Ian Jacksonwip lp seems to work so far...
2014-03-07 Ian Jacksonwip lp, results, compiles
2014-03-07 Ian Jacksonwip lp, problem setup compiles
2014-03-07 Ian Jacksonwip lp
2014-03-07 Ian Jacksonwip lp notes before condense
2014-03-07 Ian Jacksonwip, builds, before glpk
2014-03-07 Ian Jacksonwip