VANS Problem

This project contains Python programs to encode a VANS (Value Aligned Norm Selection) problem into a BIP file and solve it.