Commit Graph

8 Commits

Author SHA1 Message Date
Christopher Chalmers
c1c53aebab Move run to bin so that the nix derivation builds it 2020-05-31 22:27:15 +01:00
Christopher Chalmers
ffc2237abe Run the model multiple times and on multiple threads in run example 2020-05-31 20:23:00 +01:00
Christopher Chalmers
abb7a28771 Don't need both license-file and license 2020-05-31 17:43:52 +01:00
Christopher Chalmers
a7128e22a6 Prettier Symbolic fmt 2020-05-31 17:20:17 +01:00
Basile Henry
576ddd6909 Add license to Cargo.toml 2020-05-31 15:25:11 +01:00
Basile Henry
89783697a4 Add Chris to the list of authors in Cargo.toml 2020-05-31 09:58:02 +01:00
Basile Henry
075801d6d5 Move everything to one crate 2020-05-16 11:56:30 +02:00
Basile Henry
211b869763 Setup rust bindinds 2020-05-16 11:56:29 +02:00