all | search sort by web-site last modified | name
1 tool found.
Sugar is a SAT-based constraint solver based on a SAT-encoding method, named order encoding.
Date: 2018-03-27 03:57:06 JST...
categories CSP_solver