Collection of DSLs which can solve discrete mathematics problems.
Go to file
2022-04-12 16:21:42 +02:00
example_files Initial commit 2022-03-03 12:53:48 +01:00
src Set up nix flake 2022-04-12 16:21:42 +02:00
.gitignore Set up nix flake 2022-04-12 16:21:42 +02:00
Cargo.lock Several changes 2022-04-12 15:02:18 +02:00
Cargo.toml Several changes 2022-04-12 15:02:18 +02:00
flake.lock Set up nix flake 2022-04-12 16:21:42 +02:00
flake.nix Set up nix flake 2022-04-12 16:21:42 +02:00