UBCSAT Building/Binary Issues

[Huxley David Bennett]

Hello,

When trying to use ubcsat-1-0-0 or ubcsat-1-1-0 as downloaded from the main website, neither the precompiled binary nor the build seem to work.

Although my system (Xeon E3-1270/Ubuntu 12.04 64-bit/gcc v4.6.3) recognizes the precompiled binary as such, it appears broken. Furthermore, "make" results in a number of errors that appear to be related to a math library that I don't have.

Here is the end of the trace:
/tmp/ccxnfT8K.o: In function `ColumnRunCalculation':
ubcsat-reports.c:(.text+0x9c6): undefined reference to `sqrt'
/tmp/ccxnfT8K.o: In function `ReportCNFStatsPrint':
ubcsat-reports.c:(.text+0x302e): undefined reference to `sqrt'
/tmp/ccxnfT8K.o: In function `ReportStatsPrint':
ubcsat-reports.c:(.text+0x6926): undefined reference to `trunc'
ubcsat-reports.c:(.text+0x697f): undefined reference to `trunc'
ubcsat-reports.c:(.text+0x69d8): undefined reference to `trunc'
ubcsat-reports.c:(.text+0x6a31): undefined reference to `trunc'
ubcsat-reports.c:(.text+0x6a8a): undefined reference to `trunc'
/tmp/ccxnfT8K.o:ubcsat-reports.c:(.text+0x6ae3): more undefined references to `trunc' follow
/tmp/ccxnfT8K.o: In function `ReportStatsPrint':
ubcsat-reports.c:(.text+0x71a6): undefined reference to `sqrt'
/tmp/ccxA1hTk.o: In function `CreateLogDist':
ubcsat-triggers.c:(.text+0x138a): undefined reference to `log10'
ubcsat-triggers.c:(.text+0x1404): undefined reference to `pow'
collect2: ld returned 1 exit status
make: *** [ubcsat] Error 1

Interestingly, the competition MAXSAT binary does work, although it does not allow for the use of various features that I am interested in.

I'd appreciate any help.

Best regards,
Huck

[Dave Tompkins]

Huck, can you do me a favour and try out the latest beta (18) ?

If that doesn't work, try doing a simple 5 line c program that uses sqrt and see if you can figure out what gcc parameters you need to get that working... then you should be able to modify the ubcsat Makefile accordingly.

let me know how that works out.

-Dave