GitHub repository: CSPforJAVA/jcsp-utils
Primary language: Java
Description: Miscellaneous helpers for JCSP.