Make Fails

[carsonstillman]

make fails with the following error:

arjun/src/simplify.cpp:371:13: error: ‘class CMSat::SATSolver’ has no member named ‘get_empties’
  371 |     solver->get_empties(sampling_set, empty_sampling_vars);
      |             ^~~~~~~~~~~
make[2]: *** [rjun-src/CMakeFiles/arjun.dir/build.make:104: rjun-src/CMakeFiles/arjun.dir/simplify.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:131: rjun-src/CMakeFiles/arjun.dir/all] Error 2
make: *** [Makefile:136: all] Error 2

[msoos]

Hi,

Oh, sorry. Please use the binary released here:

https://x.com/SoosMate/status/1827086719092715649

The actual link is:

https://msoos.org/private/arjun-v2-linux64

I can share the code if need be, it's currently private due to double-blind publishing requirements. However, that's a Linux static binary that should just work. It's way better and faster than what's public. What do you want to use it for? If you want to do counting, I suggest using Ganak from:

https://msoos.org/private/ganak-v2.1-linux64

Also private due to double-blind requirements. If you wish to use ApproxMC, then use:

http://www.msoos.org/private/approxmc-17-oct-2024-linux64

which contains the latest Arjun, compiled in.

Note: you do NOT need to use Arjun together with the latest Ganak or ApproxMC above. Arjun is part of the latest Ganak. So you can just use "./ganak-v2.1-linux64 myfile.cnf" and it will work perfectly and much better than if you used Arjun before.

Let me know if the above works,

Mate

On Tue, 5 Nov 2024 at 16:41, carsonstillman @.***> wrote:

make fails with the following error:

arjun/src/simplify.cpp:371:13: error: ‘class CMSat::SATSolver’ has no member named ‘get_empties’ 371 | solver->get_empties(sampling_set, empty_sampling_vars); | ^~~ make[2]: [rjun-src/CMakeFiles/arjun.dir/build.make:104: rjun-src/CMakeFiles/arjun.dir/simplify.cpp.o] Error 1 make[1]: [CMakeFiles/Makefile2:131: rjun-src/CMakeFiles/arjun.dir/all] Error 2 make: *** [Makefile:136: all] Error 2

— Reply to this email directly, view it on GitHub https://github.com/meelgroup/arjun/issues/12, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAKF4OOTK3SY4DGSXUUI2UDZ7DRKHAVCNFSM6AAAAABRG26CJKVHI2DSMVQWIX3LMV43ASLTON2WKOZSGYZTKOBRGQZTIMQ . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[carsonstillman]

I am actually trying to build csb. Do you happen to have a binary for that?

[msoos]

@arijitsh maybe you could comment?