Alternatives and similar repositories for latte:

Users that are interested in latte are comparing it to the libraries listed below

• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆43Updated 9 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 5 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last year
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆34Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆44Updated last month
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆58Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆78Updated 7 months ago
• leoneifler / exact-SCIP
  A development version of the numerically exact variant of MIP solver SCIP
  ☆12Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆81Updated 4 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆28Updated this week
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• discopt / cmr
  Combinatorial Matrix Recognition
  ☆9Updated 2 weeks ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆36Updated 11 months ago
• scipopt / soplex
  Sequential object-oriented simPlex
  ☆63Updated 2 weeks ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• rschwarz / Diderot.jl
  Decision Diagrams for Discrete Optimization - Generic Julia Implementation
  ☆16Updated 3 years ago
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆70Updated last week
• bertiniteam / b2
  Bertini 2.0: The redevelopment of Bertini in C++.
  ☆99Updated last month
• iagoleal / Hodge.jl
  Julia library providing functionality for modeling Simplicial Complexes and Cochains over them. Its main feature is a clean interface to …
  ☆17Updated last month
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 8 months ago
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• mariohsouto / ProxSDP.jl
  Semidefinite programming optimization solver
  ☆94Updated 8 months ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆64Updated 3 weeks ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆33Updated 11 months ago
• cvxopt / chompack
  Library for chordal matrix computations
  ☆23Updated 6 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 4 months ago
• JuliaHomotopyContinuation / HomotopyContinuation.jl
  A Julia package for solving systems of polynomials via homotopy continuation.
  ☆190Updated this week
• google-research / FirstOrderLp.jl
  Experimental first-order solvers for linear and quadratic programming.
  ☆109Updated last year