https://github.com/bachorp/mat

The Multi Agent Transportation Problem: Solvers, Evaluations, and Computer-Assisted Proofs

computer-assisted-proof conflict-based-search group-theory multi-agent-path-finding sagemath sat

Last synced: 18 Mar 2025

https://github.com/bachorp/eval-sh

Last synced: 18 Mar 2025

https://github.com/bachorp/install-ca-certs

A single script that can install CA-certificates on multiple platforms

certificate-authority docker shell-script ssl-certificates

Last synced: 18 Mar 2025

https://github.com/bachorp/ocidd

Last synced: 16 Mar 2025

https://github.com/bachorp/tide_pwd

Fish plugin providing Tide's pwd-formatting as a standalone function

fish fish-plugin shell

Last synced: 27 Mar 2025