Giters
PatrickTrentin88

PatrickTrentin88

Geek Repo

6

followers

1

following

4

stars

Location:Minneapolis, USA

Github PK Tool:Github PK Tool

Organizations
optimathsat-team

PatrickTrentin88's repositories

gltl2ba

This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.

Language:PythonLicense:GPL-3.0Stargazers:14Issues:2Issues:1

fzn2omt

Tools/Scripts to convert MiniZinc/FlatZinc to Optimization Modulo Theories (OMT) for BCLT, OptiMathSAT or Z3 and Satisfiability Modulo Theories (SMT) for CVC4.

Language:PythonStargazers:6Issues:3Issues:12

omt_python_examples

OMT Examples using OptiMathSAT's python API

Language:SMTLicense:MITStargazers:6Issues:2Issues:1

wcet_omt

Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory

Language:ShellLicense:NOASSERTIONStargazers:2Issues:2Issues:2

emzn2fzn

An enhanced mzn2fzn compiler for OptiMathSAT

Language:PythonLicense:MITStargazers:1Issues:2Issues:1

big.js

A small, fast JavaScript library for arbitrary-precision decimal arithmetic.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

intro_cpp_qt

(some) exercises from "An Introduction to Design Patterns in C++ with Qt"

Language:C++License:MITStargazers:0Issues:0Issues:0

mzn2omt

Language:C++Stargazers:0Issues:2Issues:0

omtfp_poly_generator

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

specialization-examples

Stargazers:0Issues:0Issues:0