OpenJML-SeniorDesign
- United States of America
Pinned Loading
Repositories
Showing 3 of 3 repositories
- OpenJML Public Forked from OpenJML/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
OpenJML-SeniorDesign/OpenJML’s past year of commit activity - jSMTLIB Public Forked from smtlib/jSMTLIB
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
OpenJML-SeniorDesign/jSMTLIB’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…