irfansharif/solver

SAT solver library in Go; wraps around Google's Operational Research Tools

solver's Issues

make generate fails with a protobuf module

Configuration:

thomaspeugeot@MacBook-Pro-de-Thomas solver % uname -a
Darwin MacBook-Pro-de-Thomas.local 21.3.0 Darwin Kernel Version 21.3.0: Wed Jan  5 21:37:58 PST 2022; root:xnu-8019.80.24~20/RELEASE_X86_64 x86_64
thomaspeugeot@MacBook-Pro-de-Thomas solver % bazel --version
bazel 5.1.1
thomaspeugeot@MacBook-Pro-de-Thomas solver % swig -version 

SWIG Version 4.0.2

Compiled with g++ [x86_64-apple-darwin21.3.0]

Configured options: +pcre

Please see http://www.swig.org for reporting bugs and further information
thomaspeugeot@MacBook-Pro-de-Thomas solver % protoc --version
libprotoc 3.17.3
thomaspeugeot@MacBook-Pro-de-Thomas solver % protoc-gen-go --version
protoc-gen-go v1.28.0

Steps:

• git submodule update --init --recursive

• make generate

Problem:

thomaspeugeot@MacBook-Pro-de-Thomas solver % make generate
--- generating go:generate files
--- tidying go.{mod,sum}
go: finding module for package github.com/protocolbuffers/protobuf/examples/tutorial
github.com/irfansharif/solver/c-deps/protobuf/examples imports
        github.com/protocolbuffers/protobuf/examples/tutorial: module github.com/protocolbuffers/protobuf@latest found (v3.20.0+incompatible), but does not contain package github.com/protocolbuffers/protobuf/examples/tutorial
make: *** [gogenerate] Error 1

is it hard to build by bazel？i tried much but failed

FAILED: Build did NOT complete successfully
FAILED: Build did NOT complete successfully
make: *** [build] Error 1

can i use this for an rpc interface？

Support CMake/Make in addition to Bazel

I get the following error when I run the example of the readme.md:

$ go run main.go 
# github.com/irfansharif/solver/internal
wrapper.cc:355:10: fatal error: ortools/base/basictypes.h: No such file or directory
 #include "ortools/base/basictypes.h"
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.