https://github.com/darius/mccarthy-to-bryant

Propositional logic in terms of if-then-else
https://github.com/darius/mccarthy-to-bryant

Last synced: 5 months ago
JSON representation

Propositional logic in terms of if-then-else

• Host: GitHub
• URL: https://github.com/darius/mccarthy-to-bryant
• Owner: darius
• License: gpl-3.0
• Created: 2015-05-29T02:53:48.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2017-07-15T00:10:59.000Z (almost 9 years ago)
• Last Synced: 2024-04-17T14:12:34.922Z (about 2 years ago)
• Language: Python
• Size: 61.5 KB
• Stars: 14
• Watchers: 4
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Code for ["The language of choice"](https://codewords.recurse.com/issues/four/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.