constraint

Downloads All | Freeware
Products 1-30  |  Go to 1 Next >> page 
Gecode x64 - 3. 7. 2001

Gecode is a toolkit for developing constraint-based systems and applications.





More Info
   
   
Rating: 0 Star0 Star0 Star0 Star0 Star
Current Version: 3. 7. 2001
License: Freeware
Downloads: 5


More on Constraint
Gecode 3. 7. 2001Data Added 1: June 29, 2012   
Gecode. Development Development Environment Development Toolkit.
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of...
Size: 41.0 MB License: Freeware 
Keywords: Development - Development Environment - Development Toolkit - Generic Constraint - Generic Constraint Development - Toolkit



constraint programming language 1.0Data Added 1: March 07, 2013   
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints. GNU Library or Lesser General Public License (LGPL)
Size: License: Freeware 


Heditor 0.2.6Data Added 1: November 04, 2013   
Heditor intend to provide GTK interfaces for skeleton constraint edinting, and Motion Blending facilities, over the hLib library. It provide intuitive graphical manipulation of skeletons and advanced motion blending Graph management.
Size: 163.8 KB License: Freeware 
Keywords: Advanced - Blending - Constraint - Edinting - Facilities - Graph - Graphical - Heditor - Intend - Interfaces



realpaver 0.4Data Added 1: January 15, 2014   
RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.
Size: 491.5 KB License: Freeware 
Keywords: Constraint - Language - Mixedinteger - Modeling - Nonlinear - Realpaver - Solving - Systems



chocon For Linux 2.1.2Data Added 1: November 16, 2013   
choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP).
Size: 42.1 MB License: Freeware 
Keywords: Choco - Constraint - Library - Problems - Programming - Satisfaction



PyRCC8 1.2.0Data Added 1: October 27, 2013   
A RCC8 based qualitative spatial reasoner written in pure Python PyRCC8 is a efficient qualitative spatial reasoner written in pure Python. It implements the RCC8 constraint language that has been popularly adopted by the Qualitative Spatial Reasoning and GIS communities.
Size: 30.7 KB License: Shareware 
Keywords: Adopted - Communities - Constraint - Implements - Language - Popularly - Qualitative - Reasoner - Reasoning - Spatial



Gecode For Linux 3.7.2Data Added 1: December 31, 2013   
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is:
Size: 1.6 MB License: Shareware 
Keywords: Constraint - Developing - Extensible - Modular - Performance - Solver - Stateoftheart - Toolkit



MSSQL to MySQL Database Converter 2.0.1.5Data Added 1: January 06, 2008   
MSSQL to MySQL Database Converter. Column Constraint Conversion.
Database converter is a powerful tool which makes the conversion from MS SQL server to MySQL easy and reliable. You can even convert your large database which contains thousands of records in a matter of a few seconds even if your database merges multiple tables or rows. The database converter software is fully capable to convert entire database or selected table's records easily and efficiently. MSSql to MySql database migrator supports all data types of MS SQL server and Unicode...
Size: 1.3 MB License: Shareware Price: 1980INR 
Keywords: Column - Constraint - Conversion - Convert - Converter - Data - Database - Delete - Download - Files



Arc Consistency Crossword Compiler Data Added 1: February 25, 2010   
The Arc Consistency Crossword Compiler uses constraint satisfaction algorithms to fill crossword grids given a word list.. Arc-Consistency Crossword Compiler.
Size: 554.0 KB License: Freeware 


Grepmail Data Added 1: February 25, 2010   
Search for emails in a normal or compressed mailbox using a regular expression or date constraint.. grepmail.
Size: 434.0 KB License: Freeware 


Korat 1.0Data Added 1: September 06, 2012   
Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.
Size: 355.5 KB License: Freeware 


CADTools 1112008Data Added 1: April 10, 2012   
CADTools. .
A parametric, feature-based, sketch-driven 3D CAD application, built around a geometrical constraint solving engine. Project is in early development stage. The FreeSG library (http://freesg.org/) is required.
Size: 180.9 KB License: Freeware 


DragonBreath Engine 1.0Data Added 1: July 15, 2012   
The DragonBreath Engine is a constraint solver based on local search. It features real-time computation, handling of dynamics, structural constraint satisfaction, and an easy way to include domain-specific knowledge.
Size: 31.5 KB License: Freeware 


ECLiPSe CLP 1.0Data Added 1: September 30, 2012   
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
Size: 7.2 MB License: Freeware 


FRODO: An Open-Source Framework for DCOP 2.10.4Data Added 1: October 01, 2012   
FRODO: An Open-Source Framework for DCOP. .
FRODO is a Java platform to solve Distributed Constraint Satisfaction Problems (DisCSPs) and Optimization Problems (DCOPs). It provides implementations for a variety of algorithms, including DPOP (and its variants), ADOPT, SynchBB, DSA...
Size: 2.6 MB License: Freeware 


JaCoP 3.2Data Added 1: June 25, 2012   
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site.
Size: 2.6 MB License: Freeware 


jinngine 0.8Data Added 1: April 19, 2012   
A 3-d Constraint-based multibody physics engine written in entirely Java, aimed at real-time capabilities. The user can model bodies, geometries, joints, and parameters. See http://code.google.com/p/jinngine/ for source code and development information.
Size: 908.2 KB License: Freeware 


ocl2mysql 0.0.1Data Added 1: May 05, 2012   
During my diploma thesis I developed an extension for the MySQL-Client using OCL-Invariants for constraint checking.
Size: 20.4 MB License: Freeware 


RedSam 1Data Added 1: August 15, 2012   
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
Size: 141.9 KB License: Freeware 


Strasheela 0.9.10Data Added 1: June 15, 2012   
Strasheela is a constraint-based music composition system. The user defines music theories by sets of compositional rules and the system creates music which complies with these theories. User-interface is the programming language Oz.
Size: 3.9 MB License: Freeware 


SunlightCBM 1.0Data Added 1: May 28, 2012   
SunlightCBM is a suite of perl scripts for constraint-based modelling and flux-balance analysis in metabolic networks.
Size: 93.7 KB License: Freeware 


The pwan OCL library 00.00.02Data Added 1: July 22, 2012   
This is an implementation of the UML's Object Constraint Language.It's being developed so that it will be able to act as a component in general purpose open source UML modeling tools.
Size: 84.0 KB License: Freeware 


USE: UML-based Specification Environment 3.0.3Data Added 1: May 11, 2012   
USE: UML-based Specification Environment. .
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using Mantis (reachable via "Hosted Apps")
Size: 20.7 MB License: Freeware 


Sudoku X 1. 3. 2000Data Added 1: August 28, 2012   
Sudoku X. Puzzle Games Sudoku Sudoku X.
This game is the same as sudoku, except that there is an additional constraint that the numbers in the diagonals must not repeat. In this game there will be a grid of 9 x 9 squares, each small grid of 3 x 3 squares is further grouped in to small groups. The object of this game is to fill in the squares with numbers 1 - 9 in such a way that the numbers in each row or column or diagonal must not repeat, and also the numbers in each small group must not repeat. The faster you finish the puzzle,...
Size: 259.0 KB License: Freeware 
Keywords: Puzzle Games - Sudoku - Sudoku X



EasyCP 0.1.2Data Added 1: May 21, 2013   
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way.Just modelize and let the CSP (Constraint Satisfaction Problem) solver do the job ! Portable, C++03 compliant. Standalone library : it has no dependancies. Few requirements : STL, RTTI and exceptions support. User friendly : provides a Domain Specific Embedded Language. Not a template library (compilation time and error messages improved, code...
Size: 177.3 KB License: Freeware 


XML Document Validator (CLiXML) 1.0Data Added 1: March 24, 2013   
XML Document Validator is a Java implementation of CLiXML - Constraint Language in XML - that allows to express complex constraints about XML content using a mixture of first order logic and XPath. Apache License V2.0
Size: License: Freeware 


GeoSolver 1.0Data Added 1: July 30, 2013   
A Python library for solving geometric constraint problems.
Size: License: Freeware 


lineage 1 constarint and responsibility 1.0Data Added 1: June 25, 2013   
l1cr means "Lneage 1 Constraint and Responsibility" , we want to design a simulation game server using UML case tool. GNU General Public License (GPL)
Size: License: Freeware 


Solve Logic Word Puzzles with CLP 1.0Data Added 1: June 04, 2013   
Learn basic constraint logic programming by solving logic word puzzles. Tutorial showing 1 star to 5 star puzzles solved using the ECLiPSe-CLP language (available at http://eclipse-clp.org/). Go to http://brownbuffalo.sourceforge.net for code. GNU General Public License version 2.0 (GPLv2)
Size: License: Freeware 


For searches similar to constraint see "Related Downloads" under the categories listing.
Products 1-30  |  Go to 1 Next >> page 
Categories
Audio & Multimedia
Business
Communications
Desktop
Development
Education
Games & Entertainment
Graphic Apps
Home & Hobby
Mobile
Network & Internet
Screen Savers
Security & Privacy
Servers
Utilities
Web Development
Related Downloads
Default Constraint
Budget Constraint
Constraint Definition
Constraint Design
Constraint Programming
Constraint Sql
Theory Of Constraint
Triple Constraint
Unique Constraint
Top Downloads
  Oxford Dictionary... 
  Server Genius 
  WinCHM - help... 
  Webcam and Screen... 
  iFunia Media Player... 
  CrossUI Builder... 
  1st Choice Free... 
  AudFree Audio... 
  DVDFab DVD Ripper 
  AudFree DRM Audio... 
  RDS WebAccess 
  Cute Web Phone... 
  Xing Lead Extractor 
  SSuite Agnot... 
  SSuite File Shredder 
  Soft4Boost TV Recorder 
  FewClix for Outlook 
  RecordPad... 
  Sidify Music... 
  Mgosoft XPS... 
New Downloads
  Start Menu 8 5.4.0.2
  Dr.Web CureIt 12.5.202101211
  PubTyper 1.1
  IObit Malware Fighter 8.5.0.789
  Vivaldi for MacOS 3.6
  Isoo Backup 4.6.1.790
  Aiseesoft HD Video... 9.2.28
  Aiseesoft MTS... 9.2.32
  Mgosoft JPEG To PDF... 8.8.0
  Bopup IM Suite... 5.8.4
  Switch Audio and... 9.05
  Switch Plus Edition 9.05
  Gammadyne Mailer 61.0
  WavePad Masters... 12.23
  Mgosoft JPEG To PDF... 8.8.0
  Mgosoft JPEG To PDF... 8.8.0
  PDF-XChange Editor 9.0.352
  Dr.Web Security Space 12.0.4.2201
  Ezi Accounting 2.7.10.07
  Mgosoft Image To... 8.8.0
Latest Downloads
Syslog Server Software
Above Ground Pool
Boilsoft Dvd Creator
Television Hd Picture Calibration
Nero Freeware
About Websites
Http Proxy Software
Shares Uk
Remote Control Circuits
Calorie Burn Calculator
About Video Game Consoles
Ez Password Manager
Website Link
Retro Radio
Map Of Time Zones
Babylon All
What Eats Tadpoles
About Tree
Doodle Animation
Window Media Player Avi
Latest Reviews
SoftPerfect RAM Disk (Sean)
Superb disk utility for speeding up laptops and prolonging the life of their hdd.
StarCode Lite POS and Inventory Manager (Ed Martin)
I would say best inventory software for small shops or stores. Never found an app like this...
ConyEdit for Windows (reshim)
Programmers feel the comfort of coding using ConyEdit which is capable to edit codes in batch...
Disc Cover Studio (harish)
No need to go for a professional designer for the cover of new record, you can do it on your own...
Kaspersky Security Scanner (Anthony)
Scans software to find whether it is harmful for computer and also checks for updates of security...
Comodo Firewall (Maxmuller)
This just another awesome product from Comodo to protect your computer from unwanted inbound or...
TCP Splitter (Redrick)
This lets the data packets we send split into several packages which is convenient for many...
Project Viewer Lite (Tensialar)
This is a light weight software for viewing MS project files easily without the MS project...
PDF Shaper Professional (Mortinus)
I had difficulties with the pdf documents which needed to be edited before presentation, then I...
Hotelare (Nielsine)
You can enable your guests book any room instantly through your website, also receive the...
 
All software information on this site, is solely based on what our users submit. Download32.com disclaims that any right and responsibility for the information go to the user who submit the software, games, drivers. Some software may not have details explanation or their price, program version updated. You should contact the provider/actual author of the software for any questions. There are also user reviews/comments posted about various software downloads, please contact us if you believe someone has posted copyrighted information contained on this web site.   Copyright © 1996-2015 Download 32.