 |
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
Ucc.ie ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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/
Cmu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
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/
Cmu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
ThingLabII: Constraint-based user interfaces
Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tools,
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
Cmu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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/
Icot.or.jp ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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/
Gecode.org ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Constraint Handling Rules: CHR
High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.
http://www.cs.kuleuven.be/~dtai/projects/CHR/
Kuleuven.be ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
