sat

Royalty Free

Language

Java

Metrics

API Calls - 1,509 Avg call duration - N/A

Permissions

Run an Example

Input

Output

{
  "a": true,
  "b": false,
  "c": true
}

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



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