Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / vvvvvvvector / SAT-solver-graphical-interface-client

SAT-solver graphical interface for Web [client-side]

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/vvvvvvvector%2FSAT-solver-graphical-interface-client

Stars: 1
Forks: 0
Open issues: 2

License: None
Language: TypeScript
Size: 21.1 MB
Dependencies parsed at: Pending

Created at: over 2 years ago
Updated at: over 1 year ago
Pushed at: about 1 year ago
Last synced at: 1 day ago

Topics: pysat, react, react-redux, sat-solver, satisfiability, typescript

    Loading...