Python binding of AK-MaxSAT solver.

AK-MaxSAT is a complete solver for MaxSAT, guaranteed to find the optimal assignment. Winner of 2010 MaxSAT Evaluation competition. This can be applied to any QUBO/Ising for energy minimization.

PyAKMAXSAT has a solver that inherits the Sampler class defined in D-Wave Ocean SDK. It can also output the BinaryQuadraticModel(BQM) which is compatible with the class.

If you had not installed cmake>=3.11.2, you need install cmake>=3.11.2

• macOS

$ brew install cmake

• Linux

# if you installed old version by apt-get
$ apt-get purge cmake

# install cmake 
$ wget https://cmake.org/files/v3.11/cmake-3.11.2.tar.gz
$ tar xvf cmake-3.11.2.tar.gz
$ cd cmake-3.11.2
$ ./bootstrap && make && sudo make install 

• Windows

Please install cmake from here.

Alternatively, you can use

$ pip install -U cmake

Make sure the enviroment path for CMake is set correctly.

$ pip install git+https://github.com/mullzhang/pyakmaxsat.git

or

$ git clone [email protected]:mullzhang/pyakmaxsat
$ cd pyakmaxsat
$ python setup.py install

import random
from pyqubo import Array
from pyakmaxsat import AKMaxSATSolver

N = 15
K = 3
numbers = [random.uniform(0, 5) for _ in range(N)]
q = Array.create('q', N, 'BINARY')
H = sum(numbers[i] * q[i] for i in range(N)) + 5.0 * (sum(q) - K)**2
model = H.compile()
bqm = model.to_bqm()

solver = AKMaxSATSolver()
sampleset = solver.sample(bqm)
print(sampleset)

from pyakmaxsat import AKMaxSATSolver

solver = AKMaxSATSolver()
sampleset = solver.sample_wcnf('path/to/file.wcnf')
print(sampleset)