AI LAYER
cloncaric

cloncaric / sat / 0.2.8

sat

Royalty Free API Calls - 1,509
boolean satisfiability NP np complete np complete solver sat satisfiability
Language
Java
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
# Enter API 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