search

scipopt / russcip

Rust interface for SCIP
https://crates.io/crates/russcip
Apache License 2.0
30 stars 10 forks source link

from-source feature on macOS: Assertion failed: (var == vars[j]), function presolRoundCardinality, file cons_cardinality.c, line 932. #137

Closed jacobsvante closed 3 months ago

jacobsvante commented 3 months ago

Running this on my Macbook Pro M3 with russcip v0.3.3's new feature from-source:

❯ cargo install russcip -F from-source --examples
    Updating crates.io index
  Installing russcip v0.3.3
    Updating crates.io index
   Compiling libc v0.2.153
   [...]
   Compiling russcip v0.3.3
    Finished release [optimized] target(s) in 2m 30s
  Installing /Users/jacob/.cargo/bin/create_and_solve
   Installed package `russcip v0.3.3` (executable `create_and_solve`)

I get this error:

❯ create_and_solve
dyld[26197]: Library not loaded: libscip.9.0.dylib
  Referenced from: <C3392B20-78D6-3592-8F6D-77169937FA93> /Users/jacob/.cargo/bin/create_and_solve
  Reason: tried: 'libscip.9.0.dylib' (no such file), '/System/Volumes/Preboot/Cryptexes/OSlibscip.9.0.dylib' (no such file), 'libscip.9.0.dylib' (no such file), '/Users/jacob/libscip.9.0.dylib' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/Users/jacob/libscip.9.0.dylib' (no such file), '/Users/jacob/libscip.9.0.dylib' (no such file)
[1]    26197 abort      create_and_solve

Note to self: brew install bison was needed to get compilation to work

jacobsvante commented 3 months ago

Sorry but I see now that I pasted the wrong error. I will close this issue for now and try to reproduce the error I originally received. If I'm able to I'll re-open.