AI LAYER
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