smtfmt
An SMT-LIB formatter. (by symflower)
regex-to-smtlib
A tool to translate regular expressions to smt-lib constraints (by sgomber)
smtfmt | regex-to-smtlib | |
---|---|---|
1 | 1 | |
5 | 0 | |
- | - | |
3.2 | 5.8 | |
almost 3 years ago | 11 months ago | |
Python | Python | |
MIT License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
smtfmt
Posts with mentions or reviews of smtfmt.
We have used some of these posts to build our list of alternatives
and similar projects.
regex-to-smtlib
Posts with mentions or reviews of regex-to-smtlib.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Tool to convert regular expressions to equivalent SMT-LIB constraints
So just took the lexer-parser implementation (https://www.dabeaz.com/ply/ , loved it!) and wrote a translator myself. Here is the link for the tool -> https://github.com/sgomber/regex-to-smtlib
What are some alternatives?
When comparing smtfmt and regex-to-smtlib you can also consider the following projects:
hebigo - 蛇語(HEH-bee-go): An indentation-based skin for Hissp.
py_regular_expressions - Learn Python Regular Expressions step by step from beginner to advanced levels
PowerShell-Beautifier - A whitespace reformatter and code cleaner for Windows PowerShell and PowerShell Core
hissp - It's Python with a Lissp.