209 Commits (b8dbea9d1305bca415db9fca5ed09be13fff7ff7)

 

All Branches   

Search

Author	SHA1	Message	Date
Matthew Butterick	e61783961d	changes	6 years ago
Matthew Butterick	b5be07c005	adjust	6 years ago
Matthew Butterick	485c3b3d20	cartesian	6 years ago
Matthew Butterick	85a5db3782	clarity	6 years ago
Matthew Butterick	7ddc5810db	winning	6 years ago
Matthew Butterick	9629c000eb	degree tiebreaker	6 years ago
Matthew Butterick	56d975667f	state count	6 years ago
Matthew Butterick	3c5bda43d5	improve arity error	6 years ago
Matthew Butterick	5c38eb68a1	hm	6 years ago
Matthew Butterick	4ccea6d096	better error	6 years ago
Matthew Butterick	7fe4aee3d4	errority	6 years ago
Matthew Butterick	2a37208847	arity reduction	6 years ago
Matthew Butterick	ae8c3e4937	more ac-3	6 years ago
Matthew Butterick	04b736ea08	pairwise constraints	6 years ago
Matthew Butterick	d61a87258b	notes	6 years ago
Matthew Butterick	19ca1054e4	shufflina	6 years ago
Matthew Butterick	ca374e46a5	simplify	6 years ago
Matthew Butterick	78dfe65b98	more probs	6 years ago
Matthew Butterick	8af1407e12	more	6 years ago
Matthew Butterick	f769d4cbbc	gen	6 years ago
Matthew Butterick	dd0aa8a655	gen	6 years ago
Matthew Butterick	686514dfb2	still	6 years ago
Matthew Butterick	5216a955c5	more	6 years ago
Matthew Butterick	031245eecd	more	6 years ago
Matthew Butterick	e8350c2d12	fresh implementation	6 years ago
Matthew Butterick	c1ba286843	fix tests	6 years ago
Matthew Butterick	090cd5a818	fix dependency (closes #1)	8 years ago
Matthew Butterick	0161382878	nit	9 years ago
Matthew Butterick	b5de86f326	correct dependency	10 years ago
Matthew Butterick	5cecfa2a69	add info.rkt	10 years ago
Matthew Butterick	1a81811aca	add note	10 years ago
Matthew Butterick	c03653fba3	kill	10 years ago
Matthew Butterick	4525c68dff	prune	10 years ago
Matthew Butterick	70ca48255b	paste problem	10 years ago
Matthew Butterick	3659d4b8b5	einstein test	10 years ago
Matthew Butterick	838ed30e5b	works	10 years ago
Matthew Butterick	0622a204bb	tidying	10 years ago
Matthew Butterick	9cd9b84c7c	cleanup	10 years ago
Matthew Butterick	d00a51b221	when to unless	10 years ago
Matthew Butterick	05a763b9b5	when to unless, etc	10 years ago
Matthew Butterick	02aae96912	nits	10 years ago
Matthew Butterick	9ab000f7d2	cleanup	10 years ago
Matthew Butterick	05efbcae7f	simpler	10 years ago
Matthew Butterick	ec1c4628ec	change to `broken?`	10 years ago
Matthew Butterick	b53201480b	remove extraneous	10 years ago
Matthew Butterick	d0516947bf	blits	10 years ago
Matthew Butterick	32079c0220	nits	10 years ago
Matthew Butterick	d5fe7ec60c	bits	10 years ago
Matthew Butterick	ca718a9a0f	delicacy	10 years ago
Matthew Butterick	b6503c03e9	refactory	10 years ago