Skip to content

darius/mccarthy-to-bryant

Repository files navigation

Code for "The language of choice".

logic.py and utils.py go with the first half. Then ttt_tabulate.py/ttt_tabulate_3way.py. bdd.py goes with the rest.

Generalized to n-way decisions, in nway_logic.py and dd.py.

lua/ has a LuaJIT port, to check for reasonable performance when not stuck with CPython.

Other files are for testing and other demos, e.g. puzzler.py, nqueens.py, problems.py.

play.{html,js} tried to animate the choice-tree transformations, but it's unfinished.

About

Propositional logic in terms of if-then-else

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published