3 Commits (899d15f0c248bd5873cb37715f9662dfe2812c20)

Author SHA1 Message Date
  Jordi Baylina 2f28fc7002
remove pows and shifts for optimization 4 years ago
  Jordi Baylina 38fc4b7396
First Version SMT 6 years ago
  Jordi Baylina 2d43178c8d
Merge other basic circuits here 6 years ago