GitHub - philtomson/Logic: Logic operations/boolean minimization in OCaml

philtomson / Logic Public

Notifications You must be signed in to change notification settings
Fork 4
Star 11

Logic operations/boolean minimization in OCaml

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
INSTALL		INSTALL
META		META
OMakefile		OMakefile
OMakeroot		OMakeroot
README		README
_tags		_tags
boolean.ml		boolean.ml
boolean.mli		boolean.mli
fsm.ml		fsm.ml
logic.ml		logic.ml
logic.mli		logic.mli
myocamlbuild.ml		myocamlbuild.ml
test_logic.ml		test_logic.ml
vhdl.ml		vhdl.ml

Repository files navigation

Logic

Just playing around with Logic and boolean minimization for now...

This code is in OCaml.  Now we use ocamlbuild to compile:

ocamlbuild -use-ocamlfind test_logic.native -classic-display

Dependencies: 
oUnit
deriving-ocsigen (see: https://github.com/hnrgrgr/deriving )
deriving-ocsigen.syntax       "