ITEA-ModelWriter Project

Text & Model-Synchronized Document Engineering Platform

Workshops Public
Repository dedicated to workshops

0 EPL-1.0 1 0 1 Updated Jun 23, 2020
smtlib-mode Public
An Emacs major mode to edit and run SMTLIB v2 files

Emacs Lisp 1 GPL-3.0 10 0 0 Updated Mar 7, 2020
microsat-cpp Public
micro SAT solver written in c++

C++ 0 MIT 0 0 0 Updated Dec 22, 2019
vc-gen Public
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

C++ 2 0 0 0 Updated Nov 17, 2019
kodkodz Public
A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic

Java 0 MIT 20 0 0 Updated May 8, 2019
AlloyInEcore Public
Embedding of First-Order Relational Logic into Meta-Object Facility

Java 2 MIT 1 0 0 Updated Apr 30, 2019
smtlib-tool Public
Eclipse-based SMTLIB Editor

Python 0 MIT 0 0 0 Updated Mar 17, 2019
alloy-models Public
Like the name. Contains various Alloy models

Alloy 0 MIT 1 0 0 Updated Feb 20, 2019
SAT_SMT_by_example Public
"SAT/SMT by example" free ebook

Mathematica 0 37 0 0 Updated Feb 7, 2019
Demonstrations Public
Projects for demonstrations

Java 0 EPL-1.0 0 2 0 Updated Dec 18, 2018

Pinned