Discover tudo-aqua/z3-turnkey Open Source project

Stars
32
Rank 801,539 (Top 16 %)
Language
Kotlin
Created almost 5 years ago
Updated 5 months ago

tudo-aqua

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

bgw

BoardGameWork

Kotlin

stars

STARS - Scenario-Based Testing of Autonomous Robotic Systems

Kotlin

jconstraints

A constraint solver abstraction layer for Java

SMT

cvc4-turnkey

Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

Kotlin

dse

DSE: a generic dynamic symbolic execution engine

Java

stars-carla-experiments

This repository analyzes driving data recorded with the Carla Simulator using the STARS framework.

Kotlin

mps-diagram-svg-export

This plugins allows MPS users to export/save de.itemis.mps.editor.diagrams into SVG files.

gdart-svcomp

Shell

gwit

Shell

gdart

GDart: Dynamic Symbolic Execution for the JVM

Shell

stars-auna-experiments

This repository analyzes driving data recorded with model race cars in a platooning scenario using the STARS framework.

Kotlin

stars-export-carla

A batch generator of driving scenarios from the CARLA simulator

Python

konstraints

SMT

whilestar

The While* Virtual Machine

Kotlin

tudo-aqua/z3-turnkey

tudo-aqua

Reviews

Repository Details

More Repositories