BASIC - The VASTU Solver