Relational Features for Planning

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

Represent trained machine learning models as Pyomo optimization formulations

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

Simple Python version management

The AIPlan4EU Unified Planning Library

An object oriented high-level Python Web Framework that requires no frontend programming

A DYI time tracker dice!

Official doxygen git repository

A port of David Merfield's randomColor to python.

PDDL+ planning through compilation to SMT

A Business Processes and Logs Generator

The main repository of the Open GApps Project

GoogleTest - Google Testing and Mocking Framework

pySMT: A library for SMT formulae manipulation and solving

The Z3 Theorem Prover