Organon: A Symbolic Constraint Framework & Solver
Name
MIT-CSAIL-TR-2013-010.pdf
Size
729.08 KB
Format
Adobe PDF
Checksum (MD5)
8e0ae8c5855049887463fce470f7a34e
Download all files submitted through automated deposit
Author(s)
Evans, Isaac
Lynch, Joseph
Advisor(s)
Gerald Sussman
Date Issued
May 24, 2013
Series/Report no.
MIT-CSAIL-TR-2013-010
Abstract
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, and solvers. It has three main components: (1) Forms: Abstract representations of the entities to be constrained. (2) Constraints: Functions that symbolically express requirements on the relationships between forms as well as provide information a solver can use to improve the constraint s satisfaction. (3) Solvers: Functions which inspect instantiations of forms and manipulate them in an attempt to satisfy a set of objective constraints.
Subjects
scheme
propagator
exponential solver
annealing solver
Persistent DSpace Link
