jacopomauro

Personal website

https://github.com/CP-Unibo/sunny-cp

Website for the ASCD project

DSAI website

https://github.com/HyVar/hyvar-rec

Smart deployer https://github.com/jacopoMauro/abs_deployer

Picasat solver Docker image

yuck solver Docker image

Chocho solver Docker image

or-tool solver to reuse in Docker

Jacop solver Docker image

pdepa gentoo docker image

https://bitbucket.org/jacopomauro/zephyrus2/overview

MiniZinc image for Docker

Mistral solver Docker image

Docker image for haifacsp solver

minisatid solver Docker image

fzn2smt image for Docker

z3 image to reuse in docker

Tool that can ease the optimization of settings of ABS models https://github.com/HyVar/abs_optimizer