Seve - goofy solver (should be useful tho) - tscircuit