Title: Finite Programming in C++