miquelramirez/libfixmath
Automatically exported from code.google.com/p/libfixmath
Code for Lipovetzky, Ramirez and Geffner paper presented at IJCAI-15
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Automatically exported from code.google.com/p/libfixmath
The Z3 Theorem Prover
The Arcade Learning Environment (ALE) -- a platform for AI research.
An automated planner based on the Property Directed Reachability algorithm