Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / cheuktingli / psitip
Python Symbolic Information Theoretic Inequality Prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cheuktingli%2Fpsitip
Stars: 32
Forks: 7
Open Issues: 1
License: gpl-3.0
Language: Python
Repo Size: 2.56 MB
Dependencies:
9
Created: about 4 years ago
Updated: 18 days ago
Last pushed: 4 months ago
Last synced: 16 days ago
Topics: first-order-logic, information-theory, optimization, prover, python, theorem-prover, theorem-proving
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- graphviz *
- lark-parser *
- matplotlib *
- numpy *
- ortools *
- psitip ==1.1.6
- pycddlib *
- scipy *
- torch *