Prototypes details

NovaProcure

A solver for continuous constraint problems, developed for project Procure (http://centria.di.fct.unl.pt/projects/procure/index.html). It features: * Certified Quadrature * Probabilistic Reasoning * Differential Equations * Local Search

Date: 01 Dec 2015

Url: https://github.com/marcovc/procure

Authors: Marco Correia, Jorge Cruz