DisChoco Files

DisChoco: Distributed Constraint Reasoning Solver

Status: Alpha

Brought to you by: rezzahir, wahbi

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
DisChoco 2.6.5	2013-06-09		0
DisChoco 2.6.1	2013-03-09		0
DisChoco 2.6.0	2013-02-12		0
DisChoco 2.5.2	2012-07-14		0
DisChoco 2.5	2012-01-06		0
DisChoco 2.0	2011-04-14		0
Totals: 6 Items			0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Photo and Video Editing APIs and SDKs

Trusted by 150 million+ creators and businesses globally

Unlock Picsart's full editing suite by embedding our Editor SDK directly into your platform. Offer your users the power of a full design suite without leaving your site.

Learn More

Recommended Projects

CArtAgO
CArtAgO is a framework for programming and executing virtual environments in multi-agent programs.
Flora-2
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and...
jason
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
Formicidae
Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
Analytic Information Server
AIS is an Development Platform providing a high-speed JIT compiler for LISP and JavaScript, web server, object repositories, MySQL integration and libraries supporting a wide variety of advanced genetic programming and symbolic regression techniques.

DisChoco Files

DisChoco: Distributed Constraint Reasoning Solver

Get an email when there's a new version of DisChoco