Skip to content
@ModelWriter

ITEA-ModelWriter Project

Text & Model-Synchronized Document Engineering Platform

Pinned Loading

  1. AlloyInEcore AlloyInEcore Public

    Embedding of First-Order Relational Logic into Meta-Object Facility

    Java 3 1

  2. Tarski Tarski Public

    A Platform for Automated Analysis of Traceability (WP3)

    Java 8 1

  3. kodkodz kodkodz Public

    Forked from emina/kodkod

    A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic

    Java

  4. smtlib-tool smtlib-tool Public

    Eclipse-based SMTLIB Editor

    Python

  5. Demonstrations Demonstrations Public

    Projects for demonstrations

    Java

Repositories

Showing 10 of 38 repositories
  • Workshops Public

    Repository dedicated to workshops

    ModelWriter/Workshops’s past year of commit activity
    0 EPL-1.0 1 0 1 Updated Jun 23, 2020
  • smtlib-mode Public Forked from mebsout/smtlib-mode

    An Emacs major mode to edit and run SMTLIB v2 files

    ModelWriter/smtlib-mode’s past year of commit activity
    Emacs Lisp 1 GPL-3.0 10 0 0 Updated Mar 7, 2020
  • kodkodz Public Forked from emina/kodkod

    A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic

    ModelWriter/kodkodz’s past year of commit activity
    Java 0 MIT 23 0 0 Updated May 8, 2019
  • AlloyInEcore Public

    Embedding of First-Order Relational Logic into Meta-Object Facility

    ModelWriter/AlloyInEcore’s past year of commit activity
    Java 3 MIT 1 0 0 Updated Apr 30, 2019
  • smtlib-tool Public

    Eclipse-based SMTLIB Editor

    ModelWriter/smtlib-tool’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Mar 17, 2019
  • alloy-models Public

    Like the name. Contains various Alloy models

    ModelWriter/alloy-models’s past year of commit activity
    Alloy 0 MIT 0 0 0 Updated Feb 20, 2019
  • SAT_SMT_by_example Public Forked from small-evil-beast/SAT_SMT_article

    "SAT/SMT by example" free ebook

    ModelWriter/SAT_SMT_by_example’s past year of commit activity
    Mathematica 0 36 0 0 Updated Feb 7, 2019
  • Demonstrations Public

    Projects for demonstrations

    ModelWriter/Demonstrations’s past year of commit activity
    Java 0 EPL-1.0 0 2 0 Updated Dec 18, 2018
  • klee Public Forked from klee/klee

    KLEE Symbolic Execution Engine

    ModelWriter/klee’s past year of commit activity
    C++ 0 695 0 0 Updated Nov 28, 2018
  • alloy-mode Public Forked from dwwmmn/alloy-mode

    Emacs major mode for Alloy

    ModelWriter/alloy-mode’s past year of commit activity
    Emacs Lisp 0 GPL-2.0 11 0 0 Updated Jul 14, 2018
View all repositories