Name: PatrickTrentin88
Type: User
Bio: When you stand before God, you cannot say, "But I was told by others to do thus," or that virtue was not convenient at the time. This will not suffice.
Location: Minneapolis, USA
PatrickTrentin88's Projects
A small, fast JavaScript library for arbitrary-precision decimal arithmetic.
An enhanced mzn2fzn compiler for OptiMathSAT
Tools/Scripts to convert MiniZinc/FlatZinc to Optimization Modulo Theories (OMT) for BCLT, OptiMathSAT or Z3 and Satisfiability Modulo Theories (SMT) for CVC4.
This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
(some) exercises from "An Introduction to Design Patterns in C++ with Qt"
OMT Examples using OptiMathSAT's python API
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory