propose 0.1.0a0

Build truthtables with your command line

Propose

Build truthtables with your command line.

Operands

F <-> G | biconditional
F -> G  | implication
F xor G | exclusive or
F + G   | or
F * G   | and
!F      | not

Installation

Install Propose with PIP

$ pip3 install propose

Usage

Pass an inline formula:

$ propose "a * b"

Pass a file instead:

$ propose --file formula.propose

To get a list of all available commands and options:

$ propose --help

Development

1. Clone this repository

   $ git clone [e-mail]:jonhue/propose.git
   

2. Install Propose with Pip. You may want to use a virtualenv

   $ make setup
   

Rebuild & reinstall Propose:

$ make reload

Run tests:

$ make spec