Libraries.Synthesis.Newsynth
ensure
maybe_head
power
floorlog
keeptrying
keeptrying_count
try_for
dinteger_root
root_minus_one_step
root_minus_one
dioph_step
dioph
gridpoints
gridpoint_random
gridpoint_random_parity
newsynth_step
newsynth
newsynth_stats
newsynth_gates