ModelCounting - Algorithm by cloncaric

No algorithm description given

Model counting is the task of counting the number of satisfying assignments for a boolean expression. This implementation works by invoking an efficient SAT solver repeatedly, each time ruling out all previously-found models. It stops when the expression is no longer satisfiable. Input: the input is an expression over boolean variables. See cloncaric/sat for a description of the syntax. Output: the output is the number of satisfying assignments found.

Tags

(no tags)

Cost Breakdown

0 cr

royalty per call

1 cr

usage per second

avg duration

This algorithm has permission to call other algorithms which may incur separate royalty and usage costs.

Cost Calculator

API call duration (sec)

API calls

Estimated cost

per calls

for large volume discounts

For additional details on how pricing works, see Algorithmia pricing.

Calls other algorithms

This algorithm has permission to call other algorithms. 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.

To understand more about how algorithm permissions work, see the permissions documentation.

1. Type your input

2. See the result

Running algorithm...

curl -X POST -d '{{input | formatInput:"curl"}}' -H 'Content-Type: application/json' -H 'Authorization: Simple YOUR_API_KEY' https://api.algorithmia.com/v1/algo/cloncaric/ModelCounting/0.1.0

View cURL Docs

algo auth
# Enter API Key: YOUR_API_KEY
algo run algo://cloncaric/ModelCounting/0.1.0 -d '{{input | formatInput:"cli"}}'

View CLI Docs

import (
  algorithmia "github.com/algorithmiaio/algorithmia-go"
)

input := {{input | formatInput:"go"}}

var client = algorithmia.NewClient("YOUR_API_KEY", "")
algo, _ := client.Algo("algo://cloncaric/ModelCounting/0.1.0")
resp, _ := algo.Pipe(input)
response := resp.(*algorithmia.AlgoResponse)
fmt.Println(response.Result)

View Go Docs

import com.algorithmia.*;
import com.algorithmia.algo.*;

String input = "{{input | formatInput:"java"}}";
AlgorithmiaClient client = Algorithmia.client("YOUR_API_KEY");
Algorithm algo = client.algo("algo://cloncaric/ModelCounting/0.1.0");
AlgoResponse result = algo.pipeJson(input);
System.out.println(result.asJsonString());

View Java Docs

import com.algorithmia._
import com.algorithmia.algo._

val input = {{input | formatInput:"scala"}}
val client = Algorithmia.client("YOUR_API_KEY")
val algo = client.algo("algo://cloncaric/ModelCounting/0.1.0")
val result = algo.pipeJson(input)
System.out.println(result.asJsonString)

View Scala Docs

var input = {{input | formatInput:"javascript"}};
Algorithmia.client("YOUR_API_KEY")
           .algo("algo://cloncaric/ModelCounting/0.1.0")
           .pipe(input)
           .then(function(output) {
             console.log(output);
           });

View Javascript Docs

var input = {{input | formatInput:"javascript"}};
Algorithmia.client("YOUR_API_KEY")
           .algo("algo://cloncaric/ModelCounting/0.1.0")
           .pipe(input)
           .then(function(response) {
             console.log(response.get());
           });

View NodeJS Docs

import Algorithmia

input = {{input | formatInput:"python"}}
client = Algorithmia.client('YOUR_API_KEY')
algo = client.algo('cloncaric/ModelCounting/0.1.0')
print algo.pipe(input)

View Python Docs

library(algorithmia)

input <- {{input | formatInput:"r"}}
client <- getAlgorithmiaClient("YOUR_API_KEY")
algo <- client$algo("cloncaric/ModelCounting/0.1.0")
result <- algo$pipe(input)$result
print(result)

View R Docs

require 'algorithmia'

input = {{input | formatInput:"ruby"}}
client = Algorithmia.client('YOUR_API_KEY')
algo = client.algo('cloncaric/ModelCounting/0.1.0')
puts algo.pipe(input).result

View Ruby Docs

use algorithmia::Algorithmia;

let input = {{input | formatInput:"rust"}};
let client = Algorithmia::client("YOUR_API_KEY");
let algo = client.algo("cloncaric/ModelCounting/0.1.0");
let response = algo.pipe(input);

View Rust Docs

import Algorithmia

let input = "{{input | formatInput:"swift"}}";
let client = Algorithmia.client(simpleKey: "YOUR_API_KEY")
let algo = client.algo(algoUri: "cloncaric/ModelCounting/0.1.0") { resp, error in
  print(resp)
}

View Swift Docs

Discussion