Skip to main content
Pre-release

This release is a pre-release and may not be stable for production use.

Propose

Build truthtables with your command line.

capture

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 git@github.com: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

Metadata

Release files for propose 0.1.0a0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for propose 0.1.0a0
File Size Uploaded Provenance Actions
propose-0.1.0a0.tar.gz 5.8 kB Without provenance Details for propose-0.1.0a0.tar.gz

Built distribution (wheel)

Table of built distributions (wheels) for propose 0.1.0a0
File Interpreter ABI Platform Actions
propose-0.1.0a0-py3-none-any.whl Python 3 none any Details for propose-0.1.0a0-py3-none-any.whl

Total release size: 26.9 kB

Release files / propose-0.1.0a0.tar.gz

Download URL propose-0.1.0a0.tar.gz
Size 5.8 kB
Tags Source
SHA-256 checksum
How to use checksums
3631a31546c49e8578e7275896ba5e691ddc98a3b920a7519626d5e91c60e997
BLAKE2b-256 checksum
How to use checksums
0ff07d0721823d59e6df44f035adfc2ca8bcfe21b726c627fc74c51c12e9cd83
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/39.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.7

Release files / propose-0.1.0a0-py3-none-any.whl

Download URL propose-0.1.0a0-py3-none-any.whl
Size 21.1 kB
Tags Python 3
SHA-256 checksum
How to use checksums
7f7de1c985f7a767e400a204956e4e8a31f0b10538010f76df7717f38a0a0ef9
BLAKE2b-256 checksum
How to use checksums
2ee004f5ff1e68b6ff9380300d52056dbc0548c7efad60c653af11bb05986b86
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/39.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.7

Security for propose 0.1.0a0

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

No provenance found

None of the files in this release were uploaded with provenance metadata.

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Release history Release notifications | RSS feed

This release
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page