Ecosyste.ms: Repos

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

GitHub / hycos / regex2smtlib

A regular expression to SMT-LIB constraint translator

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hycos%2Fregex2smtlib

Stars: 9
Forks: 2
Open Issues: 0

License: mit
Language: Java
Repo Size: 40 KB
Dependencies: 8

Created: over 6 years ago
Updated: almost 2 years ago
Last pushed: over 5 years ago
Last synced: 12 months ago

Topics: constraint-solver, constraints, regular-expression, smtlibv2, translation

Files
    Loading...
    Readme
    Loading...
    Dependencies
    pom.xml maven