search

ericpony / polynomial-loop-invariant-synthesis

Loop invariant synthesis for annotated probabilistic loops
GNU General Public License v2.0
3 stars 2 forks source link

License issue #1

Open QwertyJack opened 7 years ago

QwertyJack commented 7 years ago

主页进去后看见的是GPL-2.0 README最后写的是GPL v3

PS：看到大哥你的代码很是崇拜~