sat
Royalty FreeLanguage
Java
Metrics
API Calls - 1,509
Avg call duration -
N/A
Permissions
This is not a recognized license.
Run an Example
Input
Output
{
"a": true,
"b": false,
"c": true
}
Install and Use
Install
Install the Algorithmia CLI client by running:
curl -sSLf https://algorithmia.com/install.sh | sh
Then authenticate by running:
$ algo auth
# When prompted for api endpoint, hit enter
# When prompted for API key, enter your key: YOUR_API_KEY
Use
algo run cloncaric/sat/0.2.8 -d '"(not b) and (b iff (a xor c)) and (c or a)"' --timeout 300