Skip to content
View PatrickTrentin88's full-sized avatar
❤️
Work
❤️
Work
7 followers · 1 following
  • Minneapolis, USA

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@optimathsat-team

Block or report PatrickTrentin88

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. fzn2omt fzn2omt Public

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

    Python 8

  2. gltl2ba gltl2ba Public

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

    Python 18 5

  3. wcet_omt wcet_omt Public

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

    Shell 2

  4. omt_python_examples omt_python_examples Public

    OMT Examples using OptiMathSAT's python API

    SMT 6 1