prototypes
Detail
Publication date: 1 de June, 2021NovaProcure
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
| URL | https://github.com/marcovc/procure |
|---|---|
| Date | 01/12/2015 |