cloncaric

cloncaric / ModelCounting / 0.1.0

ModelCounting

Royalty Free
boolean satisfiability sat satisfiability
Language
Java
Metrics
API Calls - 28 Avg call duration - N/A
Permissions
The MIT License is a permissive free software license originating at the Massachusetts Institute of Technology (MIT). 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
3

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/ModelCounting/0.1.0 -d '"a or b"' --timeout 300
CLI Docs