Commits

Author Commit Message Labels Comments Date
tomo cocoa
Add a shell command to execute test cases
tomo cocoa
Arrange files in order to use setuptools
tomo cocoa
pep8
tomo cocoa
fixed display bugs
tomo cocoa
improved display strings
tomo cocoa
added test cases
tomo cocoa
added test cases
tomo cocoa
fixed bugs
tomo cocoa
restructured functions; fixed bugs
tomo cocoa
chenged a representation of xor symbol
tomo cocoa
unified a form of source codes
tomo cocoa
implemented Boolean Algebra
tomo cocoa
fixed bugs; added test cases
tomo cocoa
fixed bugs revieled by test cases
tomo cocoa
added test cases
tomo cocoa
reverted __and__ behavior
tomo cocoa
implemented canonicalize_DNF
tomo cocoa
re-arranged a function gathering test cases
tomo cocoa
implemented compress_conj function
tomo cocoa
added test cases for canonicalize_DNF
tomo cocoa
rearranged
tomo cocoa
changed class name
tomo cocoa
implemented logics for Constant
tomo cocoa
added test cases for Constant
tomo cocoa
added test cases for normalize_CNF
tomo cocoa
implemented CNF; fixed bugs
tomo cocoa
misc changes
tomo cocoa
modified placement of function; changed string representation
tomo cocoa
added test cases
tomo cocoa
fixed a bug and an error messages
  1. Prev
  2. Next