Skip to content

@optimathsat-team optimathsat-team

Change the repository type filter

All

    Repositories list

    2 repositories

    • fzn2omt

      Public
      Compiler from FlatZinc to SMT-LIB with Optimization Modulo Theories extensions
      C++
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated May 26, 2020May 26, 2020

    • pyomt

      Public
      pySMT: A library for SMT formulae manipulation and solving
      Python
      •
      Apache License 2.0
      •148•0•0•0•Updated Mar 27, 2020Mar 27, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.