Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "exponential solver"

Now showing items 1-1 of 1

  • Organon: A Symbolic Constraint Framework & Solver 

    Unknown author (2013-05-24)
    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 ...