This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

K Framework Dependencies

Jump to bottom

dwightguth edited this page Aug 28, 2014 · 1 revision

The K framework uses the following core components in its design:

Java as a programming language
JCommander for options parsing
Guice for dependency injection
Guava, Apache Commons Collections 4, JUNG, and pcollections for data structure implementations
JUnit and Mockito for testing and mocking
(soon to be) Maven for build infrastructure
SDF for parsing
Maude for rewriting
Z3 and gappa for constraint solving
MPFR for floating point arithmetic
Coq for proof certification

...and others. Please refer to all appropriate websites and documentation for help developing, or email the principal engineer at [email protected]