AI LAYER
cloncaric

cloncaric / sat / 0.2.8

sat

Royalty Free
boolean satisfiability NP np complete np complete solver sat satisfiability
Language
Java
Metrics
API Calls - 1,509 Avg call duration - N/A
Permissions
The Algorithm Platform License is the set of terms that are stated in the Software License section of the Algorithmia Application Developer and API License Agreement. It is intended to allow users to reserve as many rights as possible without limiting Algorithmia's ability to run it as a service. Learn More

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