Organon: A Symbolic Constraint Framework & Solver
Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer s ability to phrase constraints; Organon acts purely as a framework that defines and holds together the key concepts of forms, constraints,...
Main Authors: | Evans, Isaac, Lynch, Joseph |
---|---|
Other Authors: | Gerald Sussman |
Published: |
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/79057 |
Similar Items
-
HAMPI: A Solver for String Constraints
by: Ernst, Michael D., et al.
Published: (2009) -
TK Solver Plus : introduction to TK Solver Plus /
Published: (1989) -
TK! Solver for engineers /
by: 302563 Wright, Victor E.
Published: (1984) -
Nonlinearly Preconditioned FETI Solver for Substructured Formulations of Nonlinear Problems
by: Camille Negrello, et al.
Published: (2021-12-01) -
Complete Riemann Solvers for the Hyperbolic GPR Model of Continuum Mechanics
by: U. Ariunaa, et al.
Published: (2021-03-01)