isabelle-cookbook: CookBook/Recipes/Sat.thy@a21d7b300616 (annotated)

127 74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	theory Sat
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	imports Main
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	begin
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	6
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	section {* SAT Solver *}
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	8
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	9
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	10
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	end
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	12
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	13
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	14
74846cb0fff9 updated and added two tentative recipes Christian Urban <urbanc@in.tum.de> parents: diff changeset	15

author	Christian Urban <urbanc@in.tum.de>
	Sun, 22 Feb 2009 13:37:47 +0000 (2009-02-22)
changeset 130	a21d7b300616
parent 127	74846cb0fff9
child 180	9c25418db6f0
permissions	-rw-r--r--