Added Picosat synthetic regression patches#21

Merged

LuAbelt merged 5 commits intomainfrom picosat

Mar 4, 2024

+718

Commits on Feb 6, 2024

Added Picosat synthetic regression patches
Lukas Abelt
committed
Renamed picosat folder and added perf_prec tag
Lukas Abelt
committed
Updated Picosat project name
Lukas Abelt
committed
Updated Picosat Folder name
Lukas Abelt
committed

Commits on Feb 19, 2024

Renamed Picosat project
Lukas Abelt
committed