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

Max-SAT frontend for GLPK
https://github.com/msakai/glpk-maxsat

Last synced: about 1 month ago
JSON representation

Max-SAT frontend for GLPK

• Host: GitHub
• URL: https://github.com/msakai/glpk-maxsat
• Owner: msakai
• Created: 2013-02-03T01:04:11.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2015-12-14T13:58:49.000Z (about 9 years ago)
• Last Synced: 2024-10-13T23:49:12.227Z (3 months ago)
• Language: C++
• Size: 182 KB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
glpk-maxsat

===========

[![Build Status](https://secure.travis-ci.org/msakai/glpk-maxsat.png?branch=master)](http://travis-ci.org/msakai/glpk-maxsat) [![Coverity Scan Build Status](https://scan.coverity.com/projects/5895/badge.svg)](https://scan.coverity.com/projects/msakai-glpk-maxsat)

Max-SAT frontend for GLPK (GNU Linear Programming Kit)

.

It convert problems of MAX-SAT families into MIP and solve them using

LP-based branch-and-bound approach.

Build

-----

    ./waf configure

    ./waf build

Usage

-----

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

About GLPK

----------

The GLPK (GNU Linear Programming Kit) package is intended for solving

large-scale linear programming (LP), mixed integer programming (MIP),

and other related problems. It is a set of routines written in ANSI C

and organized in the form of a callable library.