Pinned Loading

1. se-buw.github.io se-buw.github.io Public

   https://se-buw.de

   HTML

2. MLDiff MLDiff Public

   Comparing learned classifiers usning SMT Solver

   Python

3. alloy-redundancy alloy-redundancy Public

   Alloy Redundancy Analyzer is an enhanced, customized distribution of the official Alloy Analyzer, designed to detect, compute maximal sets of, and explain redundant constraints in Alloy specificati…

   Java

4. alloy-metrics alloy-metrics Public

   Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"

   Python

5. smt-metrics smt-metrics Public

   Artifacts for the paper "On Writing SMT-LIB Scripts: Metrics and a new Dataset"

   Python

6. java-gradle-template java-gradle-template Public template

   A template java project usiing gradle and basic dependencies

   Java 1