sat

Algorithmia Platform License

Try the API

{
  "a": true,
  "b": false,
  "c": true
}

Install & Use

Use

curl -X POST -d '"(not b) and (b iff (a xor c)) and (c or a)"' -H 'Content-Type: application/json' -H 'Authorization: Simple YOUR_API_KEY' https://api.algorithmia.com/v1/algo/cloncaric/sat/0.2.8
  
Curl Docs →