Pinned Repositories
ma-plan-validator
unified-planning
The AIPlan4EU Unified Planning Library
up-enhsp
This is the integrator for ENHSP, the Expressive Numeric Heuristic Search Planner. ENHSP is a planner supporting classical and numeric state variables, and is able to compute both satisificing and optimal plans in a one-shoot or anytime manner.
up-fast-downward
Integration of the planning system Fast Downward with the unified-planning framework.
up-lpg
LPG is a automated planner supporting classical and numeric state variables, and supports durative actions too. It computes plans using one-shoot and anytime operation mode.
up-nextflap
up-tamer
Integration of Tamer with the Unified Planning Library
BigDataProject
Big Data course project - UNITN
DataMiningProject
Data Mining course project - UNITN
pysmt
pySMT: A library for SMT formulae manipulation and solving
alvalentini's Repositories
alvalentini/BigDataProject
Big Data course project - UNITN
alvalentini/DataMiningProject
Data Mining course project - UNITN