IETS3 Project

Building blocks for domain-specific tools

Germany

Pinned Repositories

iets3.opensource
Open Source Parts of IETS3
Language:JetBrains MPS44 25 28622
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.
Language:Java0 30 00
kernelf2
Repository for the new, shadow-model based evolution of KernelF
10 6 00

IETS3 Project's Repositories

IETS3/iets3.opensource
Open Source Parts of IETS3
Language:JetBrains MPS44 25 28622
IETS3/kernelf2
Repository for the new, shadow-model based evolution of KernelF
10 6 00
IETS3/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.
Language:Java0 30 00