Java Modeling Language (JML)-开源
需积分: 10 114 浏览量
2021-07-26
00:04:19
上传
评论
收藏 85.07MB ZIP 举报
openjml.zip （30个子文件） 
jmlspecs.jar 278KB
jml-reference-manual.pdf 582KB
Solvers-windows 
Microsoft.Z3.xml 212KB vcomp100.dll 56KB libz3.lib 124KB
z3-4.7.1.exe 13.47MB libz3java.lib 201KB msvcr100.dll 810KB msvcp100.dll 594KB libz3java.dll 78KB cvc4-1.6.exe 22.61MB z3-4.3.2.exe 9.43MB Microsoft.Z3.dll 162KB libz3.dll 9.36MB jmlruntime.jar 287KB VERSION_INFO 233B Solvers-macos z3-4.5.0 18.66MB cvc4-1.6 128KB z3-4.3.1 14.51MB z3-4.6.0 20.22MB z3-4.7.1 20.35MB
epl-v10.html 12KB Solvers-linux cvc4-1.6 19.91MB z3-4.3.0 13.46MB z3-4.3.1 13.46MB z3-4.7.1 22.64MB openjml.jar 8.77MB OpenJMLUserGuide.pdf 1.16MB
LICENSE.rtf 63KB openjml-template.properties 517B
评论0