Emilio Cobos Álvarez 7ee72256eb

scip: minor clean-ups ...

Avoids a couple redundant hash map lookups and so.

2022-10-22 14:14:43 +02:00

..

src

scip: minor clean-ups

2022-10-22 14:14:43 +02:00

tests/slow-tests

Add new license

2022-10-15 14:26:30 +03:00

build.rs

Fix typo in build.rs

2022-06-26 10:09:45 +00:00

Cargo.toml

Bump mimalloc

2022-10-15 12:59:56 +03:00