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 <#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?