Explore projects

STAMP Services - Enhance your quality amplifying your test cases and your Docker-based test configurations

STAMP DevOps POC

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.