New! Submit a site
whatUseek Directory Site Listings:
DeltaBlue code archive - DeltaBlue incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C-DEC, C-SUN4, Smalltalk, common-lisp.
DeltaBlue: Benchmarking Java with Richards and DeltaBlue - Java version of DeltaBlue constraint solver benchmark; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, translated to many languages: C, C++, Smalltalk, more.
FSQP: Feasible Sequential Quadratic Programming - By AEM Design: a source code for minimizing the maximum of a set of smooth objective functions subject to general smooth constraints. Two versions, written in portable: Fortran 77 (FFSQP), standard C (CFSQP). Both are tested and run on most platforms.
GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces - Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed, the sequence in which events are handled.
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.
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.
Garnet: Brad A. Myers - Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet - ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding support for multi-way constraints and hierarchies.
Graph Theory and Constraint Programming - University course: definitions, lecture notes, books, language descriptions, links.
Guide to Constraint Programming - 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.
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, documents, far more. FTP site.
Ilog S.A. - Develops, markets and supports advanced software components for user interface, resource optimization and data services functions. (Nasdaq: ILOG).
MAC - FTP download, no separate documentation.
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems - ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
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.
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.
Personal page: Pascal Van Hentenryck - Professor of Computer Science, Brown University, USA. Creator of many methods for constraint programming and combinatorial optimization now widely used in science and industry.
Personal page: Pascal Van Hentenryck - Professor of Computer Science, Brown University, USA. Creator of many methods for constraint programming and combinatorial optimization now widely used in science and industry.
ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language - The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.
Sketchpad: Ivan E. Sutherland - Very brief, trivial explanation of the first constraint language, and its author.
|
