YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.999,-    Phone: +49(176)74919078
 
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Constraint


 Categories

Amulet (1) Constraint Logic (15) Oz-Mozart (8)
Prolog (60) Screamer (7)  

 Web Pages    1 - 10   of   36


Brown University, US. Some constraint papers.

http://www.cs.brown.edu/people/pvh/

[more pages from this URL] 


Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest.

http://ktiml.mff.cuni.cz/~bartak/constraints/

[more pages from this URL] 


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/

[more pages from this URL] 


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

[more pages from this URL] 


 5 - Omega Project Browse Website open in new window
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/

[more pages from this URL] 


Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.

http://www.cs.cmu.edu/~bam/

[more pages from this URL] 


Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.

http://www.cs.washington.edu/research/constraints/

[more pages from this URL] 


Covering all aspects of computing with constraints; on paper or online; fee required.

http://www.springer.com/computer/artificial/journal/10601

[more pages from this URL] 


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/

[more pages from this URL] 


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/

[more pages from this URL] 




1  2  3  4  Next »»




Olympos Beach


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact