Sat4j
  1. Sat4j
  2. SAT-3

Allow computation of prime implicants instead of models

    Details

    • Type: New Feature New Feature
    • Status: Resolved
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: 2.3.1
    • Component/s: core
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      The solver currently returns a model, i.e. a complete assignment of the boolean variables of the problem, that satisfies the constraints.

      In some cases, a partial assignment that satisfies those constraints is needed (i.e. a prime implicant).

      Providing a utility class that computes a prime implicant from a model could be a good way to provide that new feature to end users.

        Activity

        Hide
        Daniel Le Berre added a comment -

        A method primeImplicant() ships with sat4j 2.3.0. Waiting for user feedback to close the issue.

        Show
        Daniel Le Berre added a comment - A method primeImplicant() ships with sat4j 2.3.0. Waiting for user feedback to close the issue.
        Hide
        Daniel Le Berre added a comment -

        Implemented. Will ship that way in 2.3.1.

        Show
        Daniel Le Berre added a comment - Implemented. Will ship that way in 2.3.1.

          People

          • Assignee:
            Daniel Le Berre
            Reporter:
            Daniel Le Berre
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development