cloncaric

cloncaric / ModelCounting / 0.1.0

ModelCounting

Royalty Free API Calls - 28
boolean satisfiability sat satisfiability
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
# Enter API Key: YOUR_API_KEY
CLI Install Docs

Use



algo run cloncaric/ModelCounting/0.1.0 -d '"a or b"'
CLI Docs