Probabilistic Context Free Grammar (PCFG) Library for C#
A command-line inference engine for propositional logic. It parses TELL/ASK inputs, supports Horn and general propositional KBs, and runs multiple reasoning strategies: Truth Table, Forward/Backward Chaining, and Resolution (via CNF conversion)
SATStreams SAT solving library and CLI solver
Testing out different parser implementations
Transform a context-free grammar (CFG) into its equivalent grammar in Chomsky normal form (CNF).
Add a description, image, and links to the cnf topic page so that developers can more easily learn about it.
To associate your repository with the cnf topic, visit your repo's landing page and select "manage topics."