cloncaric

cloncaric / maxsat / 0.1.0

Max-Sat

Royalty Free
No Tags
Language
Java
Metrics
API Calls - 9 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
This allows an algorithm to compose sophisticated functionality using other algorithms as building blocks, however it also carries the potential of incurring additional royalty and usage costs from any algorithm that it calls.

Run an Example

Input
Output
{
  "model": {
    "a": true,
    "c": false
  },
  "satSoft": [
    0,
    1
  ]
}

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/maxsat/0.1.0 -d '{"hard": "(not (a and c))", "soft": ["a or c", "a", "c"]}' --timeout 300
  
CLI Docs