UniCalc.LIN: a linear constraint solver for the UniCalc system

2006/04/10 by Evgueni Petrov, Petrov, E., Yuri Kostov +3
Computer Science · Engineering · #Numerical Methods and Algorithms #Polynomial and algebraic computation #Advanced Numerical Analysis Techniques

paper · pdf · doi:10.48550/arxiv.cs/0604038

Abstract

In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.

Citations

• Safe bounds in linear and mixed-integer linear programming

Related

• Benchmark Problems for Constraint Solving
• Algebraic and model theoretic methods in constraint satisfaction
• MCP-Solver: Integrating Language Models with Constraint Programming Systems
• A Unified Tool for Solving Uni-Parametric Linear Programs, Convex Quadratic Programs, and Linear Complementarity Problems
• Dominion -- A constraint solver generator