graydon/rust — pull request #1197 by boggle (2011-11-19 22:59:07+00:00)
Title: Logic

Support module for bool and added two modules for many-valued logic (tristate, fourstate reasoning based on bit twiddling)