parsynt. Automatic parallel divide-and-conquer programs synthesizer
precise-parallel-fp. C++
genconstraints. Generating SAT encodings of At Most K constraints
syguslib-utils. Parser for SyGuS Lib 2.1, in OCaml.
vscode-sygus. Extension for SyGuS language in Visual Studio Code.
