Explore projects
-
Updated
-
Axel Gard / PyCommandCenter
MIT LicenseLibrary for making Starcraft II bots in Python, based on the popular CommandCenter, bound to Python using pybind11. It can also be used for building bots in C++.
Updated -
Updated
-
-
-
-
Updated
-
-
LiVe / zaama
GNU General Public License v3.0 onlyconstrained monotonic abstraction for counter machines
Updated -
Various code used by the humanoid lab at Linköping University
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
-
The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.
Updated