cloncaric

cloncaric / sat / 0.2.8

sat

Royalty Free
Language
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
CLI Install Docs

Use



    algo run cloncaric/sat/0.2.8 -d '"(not b) and (b iff (a xor c)) and (c or a)"' --timeout 300
  
CLI Docs