pub

Quine algorithm Ocaml

solve satisfiability by using Quine McCluskey algorithm to the whole given formula

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
README.md		README.md
main.ml		main.ml
prop_def.ml		prop_def.ml
prop_lexer.ml		prop_lexer.ml
prop_parser.ml		prop_parser.ml

Provide feedback