rafacarrascosa / ssaa Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

Propositional formula generation for common arithmetic operations

BSD-3-Clause license

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ssaa		ssaa
tests		tests
LICENSE		LICENSE
README.rst		README.rst
requirements.txt		requirements.txt
setup.py		setup.py

Repository files navigation

SSAA: Propositional formula generation for common arithmetic operations

TODO: fill.

About

Propositional formula generation for common arithmetic operations

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%