Added a4 and related CSP algos