• OMT-G

  • Referenced in 9 articles [sw02654]
  • OMT-G: An object-oriented data model for geographic applications. Semantic and object-oriented data ... models, such as ER, OMT, IFO, and others, have been extensively used for modeling geographic ... representing spatial data. This paper presents OMT-G, an object oriented data model for geographic ... applications. OMT-G provides primitives for modeling the geometry and the topology of spatial data...
  • OptiMathSAT

  • Referenced in 7 articles [sw32308]
  • OptiMathSAT, an efficient Optimization Modulo Theories (OMT) tool. OptiMathSAT is an extension of MathSAT...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SCIP

  • Referenced in 472 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • SMT-LIB

  • Referenced in 186 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Yices

  • Referenced in 141 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • z3

  • Referenced in 509 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • CADP

  • Referenced in 130 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • LogMIP

  • Referenced in 22 articles [sw05035]
  • LogMIP 2.0 is a program for solving linear...
  • MiniZinc

  • Referenced in 77 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • FlatZinc

  • Referenced in 8 articles [sw06262]
  • MiniZinc is a medium-level constraint modelling language...
  • SYMBA

  • Referenced in 11 articles [sw08528]
  • Symbolic optimization with SMT solvers. The rise in...
  • SIMPLY

  • Referenced in 5 articles [sw11807]
  • SIMPLY: A compiler from a CSP modeling language...
  • vZ

  • Referenced in 10 articles [sw22666]
  • νZ — An Optimizing SMT Solver. νZ is a...
  • GitHub

  • Referenced in 1678 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • PyLMT

  • Referenced in 1 article [sw32307]
  • PyLMT: A Python implementation of learning modulo theories...