https://github.com/msakai/scip-maxsat

Max-SAT frontend for SCIP
https://github.com/msakai/scip-maxsat

Last synced: about 1 month ago
JSON representation

Max-SAT frontend for SCIP

• Host: GitHub
• URL: https://github.com/msakai/scip-maxsat
• Owner: msakai
• License: other
• Created: 2013-02-04T15:07:21.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2014-04-11T00:17:25.000Z (over 10 years ago)
• Last Synced: 2024-10-13T23:49:02.042Z (3 months ago)
• Language: C++
• Size: 262 KB
• Stars: 2
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: COPYING

Awesome Lists containing this project

README

        
scip-maxsat

===========

Max-SAT frontend for SCIP .

It convert problems of MAX-SAT families into mixed integer programming

(MIP) problems and solve them using SCIP.

Usage

-----

    scip-maxsat [file.cnf|file.wcnf]

About SCIP

----------

Constraint integer programming (CIP) is a novel paradigm which

integrates constraint programming (CP), mixed integer programming

(MIP), and satisfiability (SAT) modeling and solving techniques.

SCIP (Solving Constraint Integer Programs) is currently one of the

fastest non-commercial mixed integer programming (MIP) solvers. It is

also a framework for constraint integer programming and

branch-cut-and-price. It allows total control of the solution process

and the access of detailed information down to the guts of the solver.