Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / rohit507 / kinematic-synthesis
a hacky python edsl for kinematic synthesis using DReal
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rohit507%2Fkinematic-synthesis
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Python
Repo Size: 76.2 KB
Dependencies:
22
Created: almost 6 years ago
Updated: about 1 month ago
Last pushed: almost 6 years ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- attrs ==17.4.0
- contextvars ==2.1
- dataclasses ==0.5
- gprof2dot ==2017.9.19
- graphviz ==0.8.2
- infix ==1.2
- more-itertools ==4.1.0
- mpmath ==1.0.0
- mypy ==0.580
- overload ==1.1
- pluggy ==0.6.0
- pprint ==0.1
- public ==1.0.1
- py ==1.5.3
- pytest ==3.5.0
- pytest-profiling ==1.3.0
- six ==1.11.0
- sympy ==1.1.1
- tabulate ==0.8.2
- toposort ==1.5
- typed-ast ==1.1.0
- wrapt ==1.10.11