3 Commits (d5ed1c3ce4ca137a6b3ca48bec4ac12c1b38957a)

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