- GECODE - An open, free, efficient constraint solving toolkit https://www.gecode.org/ 8 comments programming
Linking pages
- The Hunt for the Missing Data Type https://www.hillelwayne.com/post/graph-types/ 373 comments
- The Recomputation Manifesto | Software Sustainability Institute http://www.software.ac.uk/blog/2013-07-09-recomputation-manifesto 74 comments
- GitHub - doublec/aliceml: A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming https://github.com/doublec/aliceml 47 comments
- Machine Reasoning: The forgotten side of AI https://btmc.substack.com/p/machine-reasoning-the-forgotten-side 0 comments
- An Introduction to Optimization: Combinatorial Optimization | Doug Fenstermacher https://dougfenstermacher.com/blog/combinatorial-optimization 0 comments
Related searches:
Search whole site: site:www.gecode.org
Search title: GECODE - An open, free, efficient constraint solving toolkit
See how to search.