cryptominisat

cryptominisat copied to clipboard

Install Error in macOS Monterey 12.3

4

I want to use cmake to install in my macOS.But when I execute "make" command, errors as figures shows appear . What should I do to solve these problems?

Zhaowenqing

Parameter optimisation for CMS

3

I use Cryptominisat a lot and it's important to me that my problems solve quickly. I'm wondering now whether there are some Cryptominisat command-line settings that would be better for...

TrevorHansen

Cryptominisat 3 visualization backend code open?

7

msoos

cryptominisat fails to build with clang on macOS

1

Hi. I am a maintainer of the homebrew package manger. We noticed that cryptominisat fails to build with newest clang on macOS. See https://github.com/Homebrew/homebrew-core/pull/91224#issuecomment-1015867222 for a full log. ``` 2022-01-18T19:23:53.7944560Z...

iMichka

Cryptominisat dynamic linking to libmpi

7

Hi, I use your cryptominsat library for my project. I have successfully built and used it several times from C++ and Python code. Now, I am trying to get it...

snerligit

capiman

Massive parallelism/GPU question

1

Feels a bit weird to ask about this in a Github issue, but perhaps it's the best/preferred way :) I read the [blog post on cryptominisat's parallelism implementation](https://www.msoos.org/2018/07/cryptominisat-and-parallel-sat-solving/) (from 2018,...

sliedes

Explanation of the error information

1

Hi, I saw the following error information several times when I was running with your solver. Could you please explain me what the result is to see this error? Is...

xiaohuangthu

xor clean consumes too much memory

9

After Executing strategy token: renumber [xor-clean] is started. While before that the solver consumed only about 2 GB memory suddenly it grows up until it consumes more than 16GB and...

vlastikw

support atMost constraints - not yet working; DIMACS parsing for card…

11

Hi Mate, Could you check if we are heading to a good direction? See Changes.xlsx. Thanks, Gergely

kovasz