Max-Sat

(no tags)

    Algorithmia Platform License · Calls Other Algorithms

    Run an Example

    {
      "model": {
        "a": true,
        "c": false
      },
      "satSoft": [
        0,
        1
      ]
    }

    Install & Use

    Use
    
    curl -X POST -d '{"hard": "(not (a and c))", "soft": ["a or c", "a", "c"]}' -H 'Content-Type: application/json' -H 'Authorization: Simple YOUR_API_KEY' https://api.algorithmia.com/v1/algo/cloncaric/maxsat/0.1.0