StrSol

Link: https://github.com/SurajSSingh/CS-421-Final-Project

A (partial) implementation of String Solving with Regex in Haskell using transducers.

Course

UIUC – CS 421: Programming Languages & Compilers

Tech Stack

Overview

An implementation of a string constraint solver in Haskell, focusing on regex and transducers. Based on the paper "Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables" by T. Chen, et al.