Weak arithmetic theory solver, consequence finding, and polynomial cone module - Githubissues

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Weak arithmetic theory solver, consequence finding, and polynomial cone module #27

Closed happypig95 closed 1 year ago