sat - Algorithm by cloncaric

No algorithm description given

Boolean Satisfiability (SAT) Finds a mapping from variable names to boolean values such that the expression evaluates to true, or proves that the expression is always false. While boolean SAT is known to be NP-hard, this algorithm uses the DPLL/CDCL approach and can find an answer quickly even on some very large problem sizes. Additionally, this algorithm has been enhanced in two ways over traditional DPLL/CDCL solvers: it is parallelized and it can break some simple kinds of symmetries . Input Language exp ::= true | false | <var> | (<exp>) | not <exp> | <exp> <op> <exp> op ::= iff | implies | xor | or | and var ::= any word except true, false, not, iff, implies, xor, or, and 
 Operator precedence: (most tightly binding first) not, and, or, xor, implies, iff Expressions are mostly whitespace-agnostic (although you will need whitespace to separate some tokens; for instance, whitespace is needed between the "not" and the "a" in the expression "not a"). Output The output is simply a satisfying assignment (a complete map from variable names to values) or null to indicate that no such assignment exists. Future versions of this algorithm may feature a different output format to indicate timeouts, memory shortage problems, or other practical concerns.

Tags

(no tags)

Cost Breakdown

0 cr

royalty per call

1 cr

usage per second

avg duration

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.

No permissions required

This algorithm does not require any special permissions.

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/sat/0.2.8

View cURL Docs

algo auth
# Enter API Key: YOUR_API_KEY
algo run algo://cloncaric/sat/0.2.8 -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/sat/0.2.8")
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/sat/0.2.8");
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/sat/0.2.8")
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/sat/0.2.8")
           .pipe(input)
           .then(function(output) {
             console.log(output);
           });

View Javascript Docs

using Algorithmia;

var input = "{{input | formatInput:"cs"}}";
var client = new Client("YOUR_API_KEY");
var algorithm = client.algo("algo://cloncaric/sat/0.2.8");
var response = algorithm.pipe<object>(input);
Console.WriteLine(response.result);

View .NET/C# Docs

var input = {{input | formatInput:"javascript"}};
Algorithmia.client("YOUR_API_KEY")
           .algo("algo://cloncaric/sat/0.2.8")
           .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/sat/0.2.8')
print algo.pipe(input)

View Python Docs

library(algorithmia)

input <- {{input | formatInput:"r"}}
client <- getAlgorithmiaClient("YOUR_API_KEY")
algo <- client$algo("cloncaric/sat/0.2.8")
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/sat/0.2.8')
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/sat/0.2.8");
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/sat/0.2.8") { resp, error in
  print(resp)
}

View Swift Docs

Discussion