[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Help-glpk] cnf-sat solver interface
From: |
Andrew Makhorin |
Subject: |
[Help-glpk] cnf-sat solver interface |
Date: |
Thu, 25 May 2017 10:04:31 +0300 |
> > I wouldn't like to include a C++ code in glpk. It seems to me that a
> > better way would be to add an API routine that allows to set up an
> > user-provided CNF-SAT solver (which is, for example, minisat by
> > default).
>
> My plan is to link with the library that provides a C interface.
> However, when I looked at it a few months ago, the semantics of the
> interface looked a bit different to those of the current code so this
> was not so easy to test quickly.
>
CNF-SAT is a very important class of combinatorial problems, so maybe it
would be reasonable to include in glpk a program object, say, glp_cnf,
available on api level, and use it as an interface to CNF-SAT solvers.
Another way is to use glp_graph, since CNF-SAT can be represented as a
bipartite graph.
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], (continued)
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], Chris Matrakidis, 2017/05/23
- Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?], Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Heinrich Schuchardt, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Chris Matrakidis, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Chris Matrakidis, 2017/05/25
- [Help-glpk] cnf-sat solver interface,
Andrew Makhorin <=
- Re: [Help-glpk] cnf-sat solver interface, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Marco Atzeri, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, J. Friedman, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/25
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, J. Friedman, 2017/05/24
- Re: [Help-glpk] testing glpk 4.62 on a 64-bit platform, Andrew Makhorin, 2017/05/25