simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-05 19:00:33 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/tests/acycl-diamond
History
Exact
Simon Cruanes 75fde183f9 add some datatype acyclicity benchs + a generator
2021-07-04 17:17:33 -04:00
..
acycl_data_10.smt2 add some datatype acyclicity benchs + a generator 2021-07-04 17:17:33 -04:00
acycl_data_15.smt2 add some datatype acyclicity benchs + a generator 2021-07-04 17:17:33 -04:00
acycl_data_20.smt2 add some datatype acyclicity benchs + a generator 2021-07-04 17:17:33 -04:00
acycl_data_100.smt2 add some datatype acyclicity benchs + a generator 2021-07-04 17:17:33 -04:00
gen_acycl_data.lua add some datatype acyclicity benchs + a generator 2021-07-04 17:17:33 -04:00