Propositional logic in terms of if-then-else
Python Lua JavaScript HTML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
lua
problems
.gitignore
LICENSE
README.md
adder.py
bdd.py
bddsat.py
carroll
dd.py
dimacs.py
layout.js
nqueens.py
nway_logic.py
play.html
play.js
problems.py
puzzler.py
sat.py
tictactoe.py
ttt_tabulate.py
ttt_tabulate_3way.py
utils.py
wise-pigs

README.md

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.