- Cassowary
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have values that satisfy the constraints.
http://www.cs.washington.edu/research/constraints/cassowary/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Constraints Archive
Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, constraint bibliographies, collection of online papers, links. Clearly the product of much work.
http://4c.ucc.ie/web/archive/index.jsp
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet Project
Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University. Free: public domain.
http://www.cs.cmu.edu/~garnet/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet Toolkit FAQ
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.
http://www.faqs.org/faqs/garnet-faq/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Gecode
Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD]
http://www.gecode.org/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- ICOT Free Software
Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (MGTP), MGTP-G, KLIC, some cu-Prologs, and documents. FTP site.
ftp://ftp.icot.or.jp/ifs/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- ILOG CP
Constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical constraints.
http://www.ilog.com/products/cp/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Natural Programming
Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science, Carnegie Mellon University; NSF funded.
http://www.cs.cmu.edu/~NatProg/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Omega Project
Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
http://www.cs.umd.edu/projects/omega/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
|
