Directory /walsh/code

• ..
• BooleanAlgebraMethod.py
• ConjunctiveNormalForm.py
• Examples.ipynb
• FillHandling.py
• MathUtilities.py
• Models.py
• PolishFormUtilities.py
• Results/
• TautologyChecking.py
• TemplateGeneration.py

Made by Matthew Walsh with the help of Branden Fitelson

See Examples.ipybn for examples on uses of code.

See Results folder for results used for paper "Answer to Some Open Questions of Ulrich and Meredith".