z3-solver topic
List
z3-solver repositories
imop-compiler
19
Stars
3
Forks
Watchers
IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs.
PuzzleSolver
22
Stars
1
Forks
22
Watchers
50+ solvers for logical puzzles with ortools, 28k+ datasets for 80+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.