Collection of DSLs which can solve discrete mathematics problems.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
h7x4 b2b35d1b8f Set up nix flake 6 months ago
example_files Initial commit 7 months ago
src Set up nix flake 6 months ago
.gitignore Set up nix flake 6 months ago
Cargo.lock Several changes 6 months ago
Cargo.toml Several changes 6 months ago
flake.lock Set up nix flake 6 months ago
flake.nix Set up nix flake 6 months ago