Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "theorem" keyword
z3-solver-crosshair 4.8.8.0.1
A fork of the Z3 SMT solver library for use in CrossHair.1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 29 downloads last month - 9,422 stars on GitHub - 1 maintainer
z3-solver-mythril 4.8.4.1
an efficient SMT solver library1 version - Latest release: over 5 years ago - 2 dependent repositories - 36 downloads last month - 9,426 stars on GitHub - 1 maintainer
Top 0.6% on pypi.org
35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 267 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
z3-solver 4.13.0.0
an efficient SMT solver library35 versions - Latest release: 3 months ago - 64 dependent packages - 693 dependent repositories - 267 thousand downloads last month - 9,426 stars on GitHub - 5 maintainers
Top 9.2% on pypi.org
24 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 496 downloads last month - 142 stars on GitHub - 1 maintainer
dreal 4.21.6.2
SMT Solver for Nonlinear Theories of Reals24 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 496 downloads last month - 142 stars on GitHub - 1 maintainer
flip 1.0
F L i P : Logical Framework in Python3 versions - Latest release: 9 months ago - 3 dependent repositories - 43 downloads last month - 1 maintainer
sphinxcontrib-proof 1.6.0
This packages contains the Proof sphinx extension, which provides directives to typeset theorems,...11 versions - Latest release: 8 months ago - 2 dependent packages - 10 dependent repositories - 417 downloads last month - 493 stars on GitHub - 1 maintainer
tla 0.0.1
Parser and abstract syntax tree for TLA+, the temporal logic of actions.2 versions - Latest release: over 3 years ago - 2 dependent repositories - 17 downloads last month - 1 maintainer
provers 0.1.18
Library to access different theorem provers18 versions - Latest release: over 3 years ago - 2 dependent repositories - 66 downloads last month - 2 stars on GitHub - 2 maintainers
labmath 2.2.0
Module for basic math in the general vicinity of computational number theory12 versions - Latest release: over 2 years ago - 1 dependent repositories - 40 downloads last month - 23 stars on GitHub - 1 maintainer
icc.atp 0.0.2
Automatic Theorem Proving wrapper for Python2 versions - Latest release: over 10 years ago - 3 dependent repositories - 7 downloads last month - 1 maintainer
cvc4-solver 1.6
an efficient SMT solver library1 version - Latest release: over 5 years ago - 1 dependent package - 1 dependent repositories - 900 downloads last month - 1 maintainer
theorem10 1.1
This repository includes a computer program for a mathematical theorem paper titled A theorem on ...3 versions - Latest release: over 2 years ago - 1 dependent repositories - 13 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
prover
7
smt
5
sat
4
proof
4
mathematics
3
z3
3
math
2
equations
1
Pell
1
generalized
1
root
1
divisor
1
square
1
modular
1
sequences
1
lucas
1
recurrences
1
linear
1
testing
1
primality
1
xslprp
1
slprp
1
lprp
1
sprp
1
prp
1
frobenius
1
quadratic
1
rabin
1
miller
1
bpsw
1
theorem10
1
python3
1
number-theory
1
cvc4
1
logics
1
first-order
1
ATP
1
proving
1
automatic
1
convolution
1
Dirichlet
1
smooth
1
størmer's
1
stormer's
1
partitions
1
fractions
1
continued
1
möbius
1
mobius
1
totient
1
euler's
1
function
1
counting
1
syntax tree
1
abstract syntax tree
1
ast
1
parsing
1
lexer
1
parser
1
module
1
formula
1
expression
1
specification
1
formal
1
temporal logic of actions
1
TLA
1
TLA+
1
sphinx
1
deduction
1
natural
1
checker
1
python
1
framework
1
logical
1
smt-solver
1
dreal
1
method
1
curve
1
elliptic
1
kronecker
1
jacobi
1
symbol
1
legendre
1
almost-prime
1
almost
1
semiprime
1
numbers
1
prime
1
primes
1
factorization
1
factoring
1
integer
1
theory
1
number
1
computational
1
logic
1
tptp
1
lex
1
ply
1