starkoracles

Results 1 comments of starkoracles

* First iteration of t constraints #8 done