Miscellany

Miscellany


♦		A BDD Visualizer
		Look at the results of BDD operations on Boolean functions. • to the visualizer • to the tutorial • open visualizer in another window

♦		The SAT Game
		• try this mind building game of strategy

♦		SAT Association logo in various formats
		• eps • svg • gif • jpg