maxpre 0.2.5

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

all: preprocessor

preprocessor:
	$(MAKE) -C src all
	mv src/maxpre maxpre

.PHONY: lib
lib:
	$(MAKE) -C src lib

clean:
	$(MAKE) -C src clean