Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sgomber / regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sgomber%2Fregex-to-smtlib
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Python
Repo Size: 20.5 KB
Dependencies: pending
Created: 12 months ago
Updated: 12 months ago
Last pushed: 12 months ago
Last synced: 12 months ago
Topics: lexer-parser, parser, regular-expressions, smt-lib, smtlib
Files
Loading...
Readme
Loading...