second attempt at finite csp instance type#96

Draft

williamdemeo wants to merge 7 commits intoualib:masterfrom williamdemeo:finite-csp

+327-16

Commits on Jul 27, 2021

second attempt at finite csp instance type
williamdemeo
committed

Commits on Jul 28, 2021

attempt to improve basic definitions for finite csp
williamdemeo
committed

Commits on Jul 31, 2021

Commits on Aug 1, 2021