Skip to content

hycos/regex2smtlib

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
README.md
README.md
 
 

Repository files navigation

regex2smt-lib

About

A regular expression to SMT-LIB constraint translator

Topics

translation regular-expression constraints smtlibv2 constraint-solver

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

12 stars

Watchers

2 watching

Forks

2 forks
Report repository

Releases 2

Bugfixes Latest
Nov 21, 2018
+ 1 release

Packages

No packages published

Languages