superoptimization topic

List superoptimization repositories

slothy

153
Stars
9
Forks
Watchers

Assembly super-optimization via constraint solving

verified publisher icon slothy-optimizer

sematrope

17
Stars
1
Forks
Watchers

Superoptimizer using the z3 SMT solver

verified publisher icon falk-hueffner