GitHub - softwarekitty/smt_encoded_regex: These are notes and small regexes written in SMT from when I was experimenting with transforming regex to SMT, which I later found has been done better by Microsoft in their automata-z3 project, which led to me abandoning this project.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
z3_unzipped		z3_unzipped
abstraction_draft1.smt		abstraction_draft1.smt
arrayTest.smt		arrayTest.smt
countedPatternsGt1.csv		countedPatternsGt1.csv
customTest128.smt		customTest128.smt
customTest32.txt		customTest32.txt
distinctPatterns.csv		distinctPatterns.csv
encodingTest.py		encodingTest.py
modelInterpretations.txt		modelInterpretations.txt
pattern_Small_debug.smt		pattern_Small_debug.smt
pattern_Small_debug_xs.smt		pattern_Small_debug_xs.smt
pattern_StartAnchor_ab-star-c_d-plus_g1.txt		pattern_StartAnchor_ab-star-c_d-plus_g1.txt
pattern_StartAnchor_ab-star-c_d-plus_g1_EndAnchor.txt		pattern_StartAnchor_ab-star-c_d-plus_g1_EndAnchor.txt
pattern_StartAnchor_ab-star-c_g1.smt		pattern_StartAnchor_ab-star-c_g1.smt
pattern_StartAnchor_ab-star-c_g1_EndAnchor.smt		pattern_StartAnchor_ab-star-c_g1_EndAnchor.smt
pattern_StartAnchor_ab-star_c.smt		pattern_StartAnchor_ab-star_c.smt
pattern_StartAnchor_ab-star_c_EndAnchor.smt		pattern_StartAnchor_ab-star_c_EndAnchor.smt
pattern_StartAnchor_ab_0_N_bc.smt		pattern_StartAnchor_ab_0_N_bc.smt
pattern_StartAnchor_ab_0_N_bc_EndAnchor.smt		pattern_StartAnchor_ab_0_N_bc_EndAnchor.smt
pattern_StartAnchor_dot_1.smt		pattern_StartAnchor_dot_1.smt
pattern_StartAnchor_dot_1_EndAnchor.smt		pattern_StartAnchor_dot_1_EndAnchor.smt
pattern_StartAnchor_dot_3_4.smt		pattern_StartAnchor_dot_3_4.smt
pattern_StartAnchor_dot_3_4_EndAnchor.smt		pattern_StartAnchor_dot_3_4_EndAnchor.smt
pattern_a_3_4_b.smt		pattern_a_3_4_b.smt
pattern_a_3_4_b_EndAnchor.smt		pattern_a_3_4_b_EndAnchor.smt
pattern_a_x-dot-z-plus_b_g1_EndAnchor.smt		pattern_a_x-dot-z-plus_b_g1_EndAnchor.smt
pattern_ab-star-c_d-plus_g1.txt		pattern_ab-star-c_d-plus_g1.txt
pattern_ab-star-c_d-plus_g1_EndAnchor.txt		pattern_ab-star-c_d-plus_g1_EndAnchor.txt
pattern_ab-star-c_g1.smt		pattern_ab-star-c_g1.smt
pattern_ab-star_c.smt		pattern_ab-star_c.smt
pattern_ab_0_N_bc.smt		pattern_ab_0_N_bc.smt
pattern_abc.smt		pattern_abc.smt
pattern_dot_1.smt		pattern_dot_1.smt
pattern_dot_1_EndAnchor.smt		pattern_dot_1_EndAnchor.smt
pattern_dot_3_4.smt		pattern_dot_3_4.smt
pattern_jumbo.smt		pattern_jumbo.smt
pattern_nested_aPlus_b_parenStar_c_parenPlus_d_parenPlus_e.smt		pattern_nested_aPlus_b_parenStar_c_parenPlus_d_parenPlus_e.smt
pattern_nested_or.smt		pattern_nested_or.smt
pattern_nested_or_small.smt		pattern_nested_or_small.smt
pattern_p.smt		pattern_p.smt
pattern_simple.smt		pattern_simple.smt
pattern_slash_N_1.smt		pattern_slash_N_1.smt
regexp-tip-sheet.pdf		regexp-tip-sheet.pdf
rsTest.smt		rsTest.smt
smt-lib-reference-v2.0-r12.09.09.pdf		smt-lib-reference-v2.0-r12.09.09.pdf
string_example.smt		string_example.smt
sumTest.smt		sumTest.smt
z3		z3
z3_help.txt		z3_help.txt
z3_tutorial.pdf		z3_tutorial.pdf

About

These are notes and small regexes written in SMT from when I was experimenting with transforming regex to SMT, which I later found has been done better by Microsoft in their automata-z3 project, which led to me abandoning this project.