Luca Di Stefano

icon indicating a website link lucadistefano.eu

icon company TU Wien icon location Vienna, Austria icon location PhD in Computer Science. Version control your LaTeX, folks

Results 2 issues of Luca Di Stefano

Biber crashes on MacOS 12.6.8/MacTex-2023

11 comment

I am using MacTex-2023 on a M1 MacBookPro running MacOS Monterey 12.6.8. Invoking biber 2.19 with any options (even `biber --version` or `biber --help`) fails with the following error message:...

Extend Glucose42 API with randomness support

2 comment

See #83. This is a proof of concept, currently limited to Glucose42. Support for other MiniSat-based solvers should be straightforward.