Public Git Hosting - zddfun.git/search

2009-06-01	Ben Lynn	Added test finding simple cycles in grid graphs.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Smoother drawings.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Slight tweaks.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Solves Slither Link.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Fixed bug. Confirmed Knuth's number for 8x8 case.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Attempts to print all cycles. Missing some.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Produces ZDD for simple loops inefficiently.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Intersection performance tweak.	commit \| commitdiff \| tree
2009-06-01	Ben Lynn	Slither Link work continues.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Started slither link solver.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Performance tweaks.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Light refactor.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Added test cases to tri.c and renamed it.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Print sudoku solutions.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	More refactoring.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	More refactoring.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Introduced int version of darray.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Minor comment in memo.c.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Cleaned up zdd_count().	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Moved die() to new file.	commit \| commitdiff \| tree
2009-05-31	Ben Lynn	Prune implied dominoes.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Prune when implied monomino is next to a 1.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Fillomino solver enforces adjacency constraint.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Fillomino knows about some adjacency constraints.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Fillomino solver can print solution.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	More fill.c fixes.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Change order of intersections in fill.c.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	(Incomplete) Fillomino solver bugfix.	commit \| commitdiff \| tree
2009-05-30	Ben Lynn	Reduce memory usage.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Tweaked Dominosa solver.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Smarter order for solving Dominosa.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Wrote Dominosa solver.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Began Fillomino solver.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Zero a lookup table in nonogram solver.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Light Up works.	commit \| commitdiff \| tree
2009-05-29	Ben Lynn	Wrote contains_exactly_n().	commit \| commitdiff \| tree
2009-05-28	Ben Lynn	Fixed bug in contains_at_most_one().	commit \| commitdiff \| tree
2009-05-28	Ben Lynn	Wrote contains_at_most_one().	commit \| commitdiff \| tree
2009-05-28	Ben Lynn	Started Light Up solver.	commit \| commitdiff \| tree
2009-05-27	Ben Lynn	Sudoku solver uses ZDD library.	commit \| commitdiff \| tree
2009-05-27	Ben Lynn	Converted tri.c to use library.	commit \| commitdiff \| tree
2009-05-27	Ben Lynn	Move ZDD routines into new file.	commit \| commitdiff \| tree
2009-05-27	Ben Lynn	Rename nonogram solver.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Solves nonograms of arbitrary size.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Print solution.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Column clue ZDD generation fixes. It works!	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	ZDD for single column clue.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Started column clues.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Variable renames.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	ZDD for general row clue.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Logic tweak; preparing for general case.	commit \| commitdiff \| tree
2009-05-26	Ben Lynn	Started nonogram solver.	commit \| commitdiff \| tree
2009-05-25	Ben Lynn	Sudoku ZDD generation is faster.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Count 1, 2, 3-polyonimo tilings of chessboard.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Forgot to add darray source.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Better node ordering for domino problem.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	ZDD for domino tilings of a chessboard.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Reduced more precomputed ZDDs.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Reduce precomputed ZDDs.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Fix unreduced ZDD in global_one_digit_per_box().	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Can solve sudokus.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Sets containing exactly 1 element from given list.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	Naive intersection works.	commit \| commitdiff \| tree
2009-05-24	Ben Lynn	ZDD reduction with naive algorithm.	commit \| commitdiff \| tree
2009-05-22	Ben Lynn	Sets where a given digit exactly once per row.	commit \| commitdiff \| tree
2009-05-22	Ben Lynn	Added Makefile.	commit \| commitdiff \| tree
2009-05-22	Ben Lynn	Directly compute one-digit-per-box ZDD.	commit \| commitdiff \| tree
2009-05-21	Ben Lynn	Free templates after intersection.	commit \| commitdiff \| tree
2009-05-21	Ben Lynn	Intersection partially implemented.	commit \| commitdiff \| tree
2009-05-21	Ben Lynn	Sudoku solver using ZDDs.	commit \| commitdiff \| tree

Logic puzzle solvers, using ZDDs.

RSS Atom