forseti
A Formal Logic framework for a variety of applications.
Installation
From PyPI
forseti is available on PyPI.
$ pip install forseti
From source
Download the source code:
$ git clone git@github.com:MasterOdin/forseti.git $ python setup.py install
Usage
forseti comes with an internal representation of propositional calculus formulas (atomic, not, and, or, implication, and equivalance). It can generate this from a functional representation of any formula. Interally, it holds everything as formula objects, which can take in other formulas as appropriate (Symbols can only hold one string).
An example:
from forseti import parser
from forseti.predicate import Atomic, And
assert parser.parse("and(a, b)") == And(Atomic('a'), Atomic('b'))Additionally, it also comes with a builtin prover that can validate a propositional calculus argument
from forseti.prover import Prover
prover = Prover()
prover.add_formula("if(A,and(B,C))")
prover.add_formula("iff(C,B)")
prover.add_formula("not(C)")
prover.add_goal("not(A)")
assert_true(prover.run_prover())Roadmap
First Order Logic Prover
Optimizations
Usages
These projects use forseti at their core:
Goals
Using forseti to implement the following programs/applications
Automated Theorem Prover (done in forseti core)
1 maintainer
Metadata
1 maintainer
Release files for forseti 0.8.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| forseti-0.8.1.tar.gz | 10.4 kB | Details |
Release files / forseti-0.8.1.tar.gz
| Download URL | forseti-0.8.1.tar.gz |
|---|---|
| Size | 10.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ce8f59329adf36b86ac9efff4fbc5ce2cc406e22d35bcb9b5fc33bc236735eab
|
|
BLAKE2b-256 checksum How to use checksums |
b8ad686d5420e0a799a4ffae63a63a76df31a5b605984ceaab8a91656ef8c24a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
