Re: minisat-haskell- bindings (build error)

[Johannes Waldmann]

OK, solved. It seems I was experiencing some linker issues
https://bugs.launchpad.net/ubuntu/+source/binutils/+bug/738098
(solved by putting LIBRARY_PATH=/usr/lib/x86_64-linux-gnu/ )
Now minisat-haskell-bindings is working fine.
Any plans to push this on hackage? - Best regards, Johannes.

[Niklas Sörensson]

Hello Johannes,

I have thought of it, but the bindings are in a rather preliminary
state. Have you used it successfully yet?

Regards,

/Niklas

[Johannes Waldmann]

Hello Niklas,

> Have you used it successfully yet?

yes, as a backend for satchmo
http://hackage.haskell.org/package/satchmo

I am currently testing this, but it's looking fine.
(The real test will be next year's termination competition ...)

My (straightforward) interface to your API is this:
http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=satchmo.git;a=blob;f=Satchmo/SAT/Mini.hs;h=279ef6fb3dac519b40a2c8ddf0c7c9e6f2df300f;hb=poly

The problem (on my end) is that I use numbers (Int)
for variables (in literals)

http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=satchmo.git;a=blob;f=Satchmo/Data.hs;h=537a6886d5685e0563a18039a54f9a5b00f93ced;hb=poly

so I need to derive Enum for Minisat's Literal type.

(If I make satchmo's Literal type polymorphic,
I'd have to change a zillion of types.)

Best regards, Johannes.