├── .gitignore ├── LICENSE ├── README.md ├── bench ├── base.py ├── hackdel_heavy.py ├── hackdel_light.py ├── hackdel_sygus.py ├── hackdel_sygus_own_spec.py ├── random.py ├── rulesynth.py └── util.py ├── benchmark.py ├── boolfunc.py ├── demo.py ├── eval.py ├── eval ├── __init__.py ├── experiments.py └── util.py ├── pyproject.toml ├── requirements.txt ├── resources ├── boolfunc │ ├── npn │ │ ├── npn3 │ │ ├── npn4 │ │ └── npn5 │ └── pla │ │ ├── add.pla │ │ ├── const.pla │ │ ├── dontcare.pla │ │ ├── mux.pla │ │ ├── overflow.pla │ │ └── zero.pla ├── rulesets │ ├── cvc4 │ │ ├── bool-3vars-2iters.json │ │ ├── bool-3vars-3iters.json │ │ ├── bv32-3vars-2iters.json │ │ ├── bv32-3vars-3iters.json │ │ ├── bv4-3vars-2iters.json │ │ └── bv4-3vars-3iters.json │ └── ruler │ │ ├── bool-3vars-2iters.json │ │ ├── bool-3vars-3iters.json │ │ ├── bv32-3vars-2iters.json │ │ ├── bv32-3vars-3iters.json │ │ ├── bv4-3vars-2iters.json │ │ ├── bv4-3vars-3iters.json │ │ └── herbie.txt ├── sygus │ ├── CrCi │ │ ├── CrCy_1-P5-D5-sIn1.sl │ │ ├── CrCy_1-P5-D5-sIn2.sl │ │ ├── CrCy_1-P5-D5-sIn3.sl │ │ ├── CrCy_1-P5_1-P5.sl │ │ ├── CrCy_10-sbox2-D5-sIn10.sl │ │ ├── CrCy_10-sbox2-D5-sIn100.sl │ │ ├── CrCy_10-sbox2-D5-sIn101.sl │ │ ├── CrCy_10-sbox2-D5-sIn102.sl │ │ ├── CrCy_10-sbox2-D5-sIn103.sl │ │ ├── CrCy_10-sbox2-D5-sIn104.sl │ │ ├── CrCy_10-sbox2-D5-sIn105.sl │ │ ├── CrCy_10-sbox2-D5-sIn11.sl │ │ ├── CrCy_10-sbox2-D5-sIn12.sl │ │ ├── CrCy_10-sbox2-D5-sIn13.sl │ │ ├── CrCy_10-sbox2-D5-sIn14.sl │ │ ├── CrCy_10-sbox2-D5-sIn15.sl │ │ ├── CrCy_10-sbox2-D5-sIn16.sl │ │ ├── CrCy_10-sbox2-D5-sIn17.sl │ │ ├── CrCy_10-sbox2-D5-sIn18.sl │ │ ├── CrCy_10-sbox2-D5-sIn19.sl │ │ ├── CrCy_10-sbox2-D5-sIn2.sl │ │ ├── CrCy_10-sbox2-D5-sIn20.sl │ │ ├── CrCy_10-sbox2-D5-sIn21.sl │ │ ├── CrCy_10-sbox2-D5-sIn22.sl │ │ ├── CrCy_10-sbox2-D5-sIn23.sl │ │ ├── CrCy_10-sbox2-D5-sIn24.sl │ │ ├── CrCy_10-sbox2-D5-sIn25.sl │ │ ├── CrCy_10-sbox2-D5-sIn26.sl │ │ ├── CrCy_10-sbox2-D5-sIn27.sl │ │ ├── CrCy_10-sbox2-D5-sIn28.sl │ │ ├── CrCy_10-sbox2-D5-sIn29.sl │ │ ├── CrCy_10-sbox2-D5-sIn3.sl │ │ ├── CrCy_10-sbox2-D5-sIn30.sl │ │ ├── CrCy_10-sbox2-D5-sIn31.sl │ │ ├── CrCy_10-sbox2-D5-sIn32.sl │ │ ├── CrCy_10-sbox2-D5-sIn33.sl │ │ ├── CrCy_10-sbox2-D5-sIn34.sl │ │ ├── CrCy_10-sbox2-D5-sIn35.sl │ │ ├── CrCy_10-sbox2-D5-sIn36.sl │ │ ├── CrCy_10-sbox2-D5-sIn37.sl │ │ ├── CrCy_10-sbox2-D5-sIn38.sl │ │ ├── CrCy_10-sbox2-D5-sIn39.sl │ │ ├── CrCy_10-sbox2-D5-sIn4.sl │ │ ├── CrCy_10-sbox2-D5-sIn40.sl │ │ ├── CrCy_10-sbox2-D5-sIn41.sl │ │ ├── CrCy_10-sbox2-D5-sIn42.sl │ │ ├── CrCy_10-sbox2-D5-sIn43.sl │ │ ├── CrCy_10-sbox2-D5-sIn44.sl │ │ ├── CrCy_10-sbox2-D5-sIn45.sl │ │ ├── CrCy_10-sbox2-D5-sIn46.sl │ │ ├── CrCy_10-sbox2-D5-sIn47.sl │ │ ├── CrCy_10-sbox2-D5-sIn48.sl │ │ ├── CrCy_10-sbox2-D5-sIn49.sl │ │ ├── CrCy_10-sbox2-D5-sIn5.sl │ │ ├── CrCy_10-sbox2-D5-sIn50.sl │ │ ├── CrCy_10-sbox2-D5-sIn51.sl │ │ ├── CrCy_10-sbox2-D5-sIn52.sl │ │ ├── CrCy_10-sbox2-D5-sIn53.sl │ │ ├── CrCy_10-sbox2-D5-sIn54.sl │ │ ├── CrCy_10-sbox2-D5-sIn55.sl │ │ ├── CrCy_10-sbox2-D5-sIn56.sl │ │ ├── CrCy_10-sbox2-D5-sIn57.sl │ │ ├── CrCy_10-sbox2-D5-sIn58.sl │ │ ├── CrCy_10-sbox2-D5-sIn59.sl │ │ ├── CrCy_10-sbox2-D5-sIn6.sl │ │ ├── CrCy_10-sbox2-D5-sIn60.sl │ │ ├── CrCy_10-sbox2-D5-sIn61.sl │ │ ├── CrCy_10-sbox2-D5-sIn62.sl │ │ ├── CrCy_10-sbox2-D5-sIn63.sl │ │ ├── CrCy_10-sbox2-D5-sIn64.sl │ │ ├── CrCy_10-sbox2-D5-sIn65.sl │ │ ├── CrCy_10-sbox2-D5-sIn66.sl │ │ ├── CrCy_10-sbox2-D5-sIn67.sl │ │ ├── CrCy_10-sbox2-D5-sIn68.sl │ │ ├── CrCy_10-sbox2-D5-sIn69.sl │ │ ├── CrCy_10-sbox2-D5-sIn7.sl │ │ ├── CrCy_10-sbox2-D5-sIn70.sl │ │ ├── CrCy_10-sbox2-D5-sIn71.sl │ │ ├── CrCy_10-sbox2-D5-sIn72.sl │ │ ├── CrCy_10-sbox2-D5-sIn73.sl │ │ ├── CrCy_10-sbox2-D5-sIn74.sl │ │ ├── CrCy_10-sbox2-D5-sIn75.sl │ │ ├── CrCy_10-sbox2-D5-sIn76.sl │ │ ├── CrCy_10-sbox2-D5-sIn77.sl │ │ ├── CrCy_10-sbox2-D5-sIn78.sl │ │ ├── CrCy_10-sbox2-D5-sIn79.sl │ │ ├── CrCy_10-sbox2-D5-sIn8.sl │ │ ├── CrCy_10-sbox2-D5-sIn80.sl │ │ ├── CrCy_10-sbox2-D5-sIn81.sl │ │ ├── CrCy_10-sbox2-D5-sIn82.sl │ │ ├── CrCy_10-sbox2-D5-sIn83.sl │ │ ├── CrCy_10-sbox2-D5-sIn84.sl │ │ ├── CrCy_10-sbox2-D5-sIn85.sl │ │ ├── CrCy_10-sbox2-D5-sIn86.sl │ │ ├── CrCy_10-sbox2-D5-sIn87.sl │ │ ├── CrCy_10-sbox2-D5-sIn88.sl │ │ ├── CrCy_10-sbox2-D5-sIn89.sl │ │ ├── CrCy_10-sbox2-D5-sIn9.sl │ │ ├── CrCy_10-sbox2-D5-sIn90.sl │ │ ├── CrCy_10-sbox2-D5-sIn91.sl │ │ ├── CrCy_10-sbox2-D5-sIn92.sl │ │ ├── CrCy_10-sbox2-D5-sIn93.sl │ │ ├── CrCy_10-sbox2-D5-sIn94.sl │ │ ├── CrCy_10-sbox2-D5-sIn95.sl │ │ ├── CrCy_10-sbox2-D5-sIn96.sl │ │ ├── CrCy_10-sbox2-D5-sIn97.sl │ │ ├── CrCy_10-sbox2-D5-sIn98.sl │ │ ├── CrCy_10-sbox2-D5-sIn99.sl │ │ ├── CrCy_10-sbox2-D7-sIn1.sl │ │ ├── CrCy_2-P6-D5-sIn1.sl │ │ ├── CrCy_2-P6-D5-sIn2.sl │ │ ├── CrCy_2-P6-D5-sIn3.sl │ │ ├── CrCy_2-P6-D7-sIn1.sl │ │ ├── CrCy_2-P6_2-P6.sl │ │ ├── CrCy_3-P7-D5-sIn.sl │ │ ├── CrCy_3-P7_3-P7.sl │ │ ├── CrCy_4-P8-D5-sIn.sl │ │ ├── CrCy_4-P8_4-P8.sl │ │ ├── CrCy_5-P9-D5-sIn.sl │ │ ├── CrCy_5-P9_5-P9.sl │ │ ├── CrCy_6-P10-D5-sIn.sl │ │ ├── CrCy_6-P10-D5-sIn2.sl │ │ ├── CrCy_6-P10-D5-sIn3.sl │ │ ├── CrCy_6-P10-D5-sIn4.sl │ │ ├── CrCy_6-P10-D5-sIn5.sl │ │ ├── CrCy_6-P10-D5-sIn6.sl │ │ ├── CrCy_6-P10-D5-sIn7.sl │ │ ├── CrCy_6-P10-D5-sIn8.sl │ │ ├── CrCy_6-P10-D5-sIn9.sl │ │ ├── CrCy_6-P10-D7-sIn.sl │ │ ├── CrCy_6-P10-D7-sIn2.sl │ │ ├── CrCy_6-P10-D7-sIn3.sl │ │ ├── CrCy_6-P10-D7-sIn4.sl │ │ ├── CrCy_6-P10-D7-sIn5.sl │ │ ├── CrCy_6-P10-D7-sIn6.sl │ │ ├── CrCy_6-P10-D7-sIn7.sl │ │ ├── CrCy_6-P10-D7-sIn8.sl │ │ ├── CrCy_6-P10-D7-sIn9.sl │ │ ├── CrCy_6-P10-D9-sIn.sl │ │ ├── CrCy_6-P10-D9-sIn2.sl │ │ ├── CrCy_6-P10-D9-sIn3.sl │ │ ├── CrCy_6-P10-D9-sIn4.sl │ │ ├── CrCy_6-P10-D9-sIn5.sl │ │ ├── CrCy_6-P10-D9-sIn6.sl │ │ ├── CrCy_6-P10-D9-sIn7.sl │ │ ├── CrCy_6-P10-D9-sIn8.sl │ │ ├── CrCy_6-P10-D9-sIn9.sl │ │ ├── CrCy_6-P10_6-P10.sl │ │ ├── CrCy_7-P11-D5-sIn1.sl │ │ ├── CrCy_7-P11-D5-sIn10.sl │ │ ├── CrCy_7-P11-D5-sIn11.sl │ │ ├── CrCy_7-P11-D5-sIn2.sl │ │ ├── CrCy_7-P11-D5-sIn3.sl │ │ ├── CrCy_7-P11-D5-sIn4.sl │ │ ├── CrCy_7-P11-D5-sIn5.sl │ │ ├── CrCy_7-P11-D5-sIn6.sl │ │ ├── CrCy_7-P11-D5-sIn7.sl │ │ ├── CrCy_7-P11-D5-sIn8.sl │ │ ├── CrCy_7-P11-D5-sIn9.sl │ │ ├── CrCy_7-P11-D7-sIn1.sl │ │ ├── CrCy_7-P11-D7-sIn2.sl │ │ ├── CrCy_7-P11-D7-sIn3.sl │ │ ├── CrCy_7-P11-D7-sIn4.sl │ │ ├── CrCy_7-P11-D7-sIn5.sl │ │ ├── CrCy_7-P11-D7-sIn6.sl │ │ ├── CrCy_7-P11-D7-sIn7.sl │ │ ├── CrCy_7-P11-D7-sIn8.sl │ │ ├── CrCy_7-P11-D9-sIn1.sl │ │ ├── CrCy_7-P11-D9-sIn2.sl │ │ ├── CrCy_7-P11-D9-sIn3.sl │ │ ├── CrCy_7-P11-D9-sIn4.sl │ │ ├── CrCy_7-P11_7-P11.sl │ │ ├── CrCy_8-P12-D5-sIn1.sl │ │ ├── CrCy_8-P12-D5-sIn10.sl │ │ ├── CrCy_8-P12-D5-sIn2.sl │ │ ├── CrCy_8-P12-D5-sIn3.sl │ │ ├── CrCy_8-P12-D5-sIn4.sl │ │ ├── CrCy_8-P12-D5-sIn5.sl │ │ ├── CrCy_8-P12-D5-sIn6.sl │ │ ├── CrCy_8-P12-D5-sIn7.sl │ │ ├── CrCy_8-P12-D5-sIn8.sl │ │ ├── CrCy_8-P12-D5-sIn9.sl │ │ ├── CrCy_8-P12-D7-sIn1.sl │ │ ├── CrCy_8-P12-D7-sIn10.sl │ │ ├── CrCy_8-P12-D7-sIn11.sl │ │ ├── CrCy_8-P12-D7-sIn12.sl │ │ ├── CrCy_8-P12-D7-sIn13.sl │ │ ├── CrCy_8-P12-D7-sIn14.sl │ │ ├── CrCy_8-P12-D7-sIn15.sl │ │ ├── CrCy_8-P12-D7-sIn16.sl │ │ ├── CrCy_8-P12-D7-sIn17.sl │ │ ├── CrCy_8-P12-D7-sIn18.sl │ │ ├── CrCy_8-P12-D7-sIn19.sl │ │ ├── CrCy_8-P12-D7-sIn2.sl │ │ ├── CrCy_8-P12-D7-sIn20.sl │ │ ├── CrCy_8-P12-D7-sIn21.sl │ │ ├── CrCy_8-P12-D7-sIn22.sl │ │ ├── CrCy_8-P12-D7-sIn23.sl │ │ ├── CrCy_8-P12-D7-sIn24.sl │ │ ├── CrCy_8-P12-D7-sIn25.sl │ │ ├── CrCy_8-P12-D7-sIn3.sl │ │ ├── CrCy_8-P12-D7-sIn4.sl │ │ ├── CrCy_8-P12-D7-sIn5.sl │ │ ├── CrCy_8-P12-D7-sIn6.sl │ │ ├── CrCy_8-P12-D7-sIn7.sl │ │ ├── CrCy_8-P12-D7-sIn8.sl │ │ ├── CrCy_8-P12-D7-sIn9.sl │ │ ├── CrCy_8-P12-D9-sIn1.sl │ │ ├── CrCy_8-P12-D9-sIn2.sl │ │ ├── CrCy_8-P12-D9-sIn3.sl │ │ ├── CrCy_8-P12-D9-sIn4.sl │ │ ├── CrCy_9-pprmAll-D5-sIn1.sl │ │ ├── CrCy_9-pprmAll-D7-sIn1.sl │ │ └── CrCy_9-pprmAll-D9-sIn1.sl │ ├── General_plus10.sl │ ├── LinExpr_eq1ex.sl │ ├── LinExpr_eq2ex.sl │ ├── LinExpr_inv1.sl │ ├── LinExpr_inv1_ex.sl │ ├── MPwL_d1s3.sl │ ├── MPwL_d1s7.sl │ ├── MPwL_d4s3.sl │ ├── MPwL_d4s7.sl │ ├── MPwL_d5s3.sl │ ├── MPwL_d5s7.sl │ ├── MPwoL_d1s3.sl │ ├── MPwoL_d1s7.sl │ ├── MPwoL_d4s3.sl │ ├── MPwoL_d4s7.sl │ ├── MPwoL_d5s3.sl │ ├── MPwoL_d5s7.sl │ ├── array_search_10.sl │ ├── array_search_11.sl │ ├── array_search_12.sl │ ├── array_search_13.sl │ ├── array_search_14.sl │ ├── array_search_15.sl │ ├── array_search_2.sl │ ├── array_search_3.sl │ ├── array_search_4.sl │ ├── array_search_5.sl │ ├── array_search_6.sl │ ├── array_search_7.sl │ ├── array_search_8.sl │ ├── array_search_9.sl │ ├── btr-am-base-index-scale-disp-solution-0.sl │ ├── btr-am-base-index-scale-disp-solution-1.sl │ ├── btr-am-base-index-scale-disp-solution-2.sl │ ├── btr-am-base-index-scale-disp-solution-3.sl │ ├── btr-am-base-index-scale-disp-solution-4.sl │ ├── btr-am-base-index-scale-disp-solution-5.sl │ ├── btr-am-base-index-scale-disp-solution-6.sl │ ├── btr-am-base-index-solution-0.sl │ ├── btr-am-base-index-solution-1.sl │ ├── btr-am-base-index-solution-2.sl │ ├── btr-am-base-index-solution-3.sl │ ├── btr-am-base-index-solution-4.sl │ ├── btr-am-base-index-solution-5.sl │ ├── btr-am-base-index-solution-6.sl │ ├── btr-am-base-solution-0.sl │ ├── btr-am-base-solution-1.sl │ ├── btr-am-base-solution-2.sl │ ├── btr-am-base-solution-3.sl │ ├── btr-am-base-solution-4.sl │ ├── btr-am-base-solution-5.sl │ ├── btr-am-base-solution-6.sl │ ├── btr-solution-0.sl │ ├── btr-solution-1.sl │ ├── btr-solution-2.sl │ ├── btr-solution-3.sl │ ├── btr-solution-4.sl │ ├── btr-solution-5.sl │ ├── btr-solution-6.sl │ ├── commutative.sl │ ├── constant.sl │ ├── eightfuncs.sl │ ├── fivefuncs.sl │ ├── hd-01-d1-prog.sl │ ├── hd-01-d5-prog.sl │ ├── hd-02-d0-prog.sl │ ├── hd-02-d1-prog.sl │ ├── hd-02-d5-prog.sl │ ├── hd-03-d0-prog.sl │ ├── hd-03-d1-prog.sl │ ├── hd-03-d5-prog.sl │ ├── hd-04-d0-prog.sl │ ├── hd-04-d1-prog.sl │ ├── hd-04-d5-prog.sl │ ├── hd-05-d0-prog.sl │ ├── hd-05-d1-prog.sl │ ├── hd-05-d5-prog.sl │ ├── hd-06-d0-prog.sl │ ├── hd-06-d1-prog.sl │ ├── hd-06-d5-prog.sl │ ├── hd-07-d0-prog.sl │ ├── hd-07-d1-prog.sl │ ├── hd-07-d5-prog.sl │ ├── hd-08-d0-prog.sl │ ├── hd-08-d1-prog.sl │ ├── hd-08-d5-prog.sl │ ├── hd-09-d0-prog.sl │ ├── hd-09-d1-prog.sl │ ├── hd-09-d5-prog.sl │ ├── hd-13-d0-prog.sl │ ├── hd-13-d1-prog.sl │ ├── hd-13-d5-prog.sl │ ├── hd-14-d0-prog.sl │ ├── hd-14-d1-prog.sl │ ├── hd-14-d5-prog.sl │ ├── hd-15-d0-prog.sl │ ├── hd-15-d1-prog.sl │ ├── hd-15-d5-prog.sl │ ├── hd-17-d0-prog.sl │ ├── hd-17-d1-prog.sl │ ├── hd-17-d5-prog.sl │ ├── hd-19-d0-prog.sl │ ├── hd-19-d1-prog.sl │ ├── hd-19-d5-prog.sl │ ├── hd-20-d0-prog.sl │ ├── hd-20-d1-prog.sl │ ├── hd-20-d5-prog.sl │ ├── hd-pareto │ │ ├── array_search_15-Q.sl │ │ ├── array_search_3-Q.sl │ │ ├── array_search_5-Q.sl │ │ ├── array_sum_2_5-Q.sl │ │ ├── hd-05-d5-pareto_0.sl │ │ ├── hd-05-d5-pareto_1.sl │ │ ├── hd-05-d5-pareto_2.sl │ │ ├── hd-05-d5-prog-prob_0.sl │ │ ├── hd-05-d5-prog-prob_1.sl │ │ ├── hd-05-d5-prog-prob_2.sl │ │ ├── hd-05-d5-prog-prob_3.sl │ │ ├── hd-05-d5-prog_0.sl │ │ ├── hd-05-d5-prog_1.sl │ │ ├── hd-05-d5-prog_2.sl │ │ ├── hd-05-d5-sort_0.sl │ │ ├── hd-05-d5-sort_1.sl │ │ ├── hd-05-d5-sort_2.sl │ │ ├── hd-07-d5-pareto_0.sl │ │ ├── hd-07-d5-pareto_1.sl │ │ ├── hd-07-d5-pareto_2.sl │ │ ├── hd-07-d5-pareto_3.sl │ │ ├── hd-07-d5-prog-prob_0.sl │ │ ├── hd-07-d5-prog-prob_1.sl │ │ ├── hd-07-d5-prog-prob_2.sl │ │ ├── hd-07-d5-prog_0.sl │ │ ├── hd-07-d5-prog_1.sl │ │ ├── hd-07-d5-prog_2.sl │ │ ├── hd-07-d5-sort_0.sl │ │ └── hd-07-d5-sort_1.sl │ ├── icfp_103_10.sl │ ├── icfp_104_10.sl │ ├── icfp_105_100.sl │ ├── icfp_105_1000.sl │ ├── icfp_113_1000.sl │ ├── icfp_114_100.sl │ ├── icfp_118_10.sl │ ├── icfp_118_100.sl │ ├── icfp_125_10.sl │ ├── icfp_134_1000.sl │ ├── icfp_135_100.sl │ ├── icfp_139_10.sl │ ├── icfp_143_1000.sl │ ├── icfp_144_100.sl │ ├── icfp_144_1000.sl │ ├── icfp_147_1000.sl │ ├── icfp_14_1000.sl │ ├── icfp_150_10.sl │ ├── icfp_21_1000.sl │ ├── icfp_25_1000.sl │ ├── icfp_28_10.sl │ ├── icfp_30_10.sl │ ├── icfp_32_10.sl │ ├── icfp_38_10.sl │ ├── icfp_39_100.sl │ ├── icfp_45_10.sl │ ├── icfp_45_1000.sl │ ├── icfp_51_10.sl │ ├── icfp_54_1000.sl │ ├── icfp_56_1000.sl │ ├── icfp_5_1000.sl │ ├── icfp_64_10.sl │ ├── icfp_68_1000.sl │ ├── icfp_69_10.sl │ ├── icfp_72_10.sl │ ├── icfp_73_10.sl │ ├── icfp_7_10.sl │ ├── icfp_7_1000.sl │ ├── icfp_81_1000.sl │ ├── icfp_82_10.sl │ ├── icfp_82_100.sl │ ├── icfp_87_10.sl │ ├── icfp_93_1000.sl │ ├── icfp_94_100.sl │ ├── icfp_94_1000.sl │ ├── icfp_95_100.sl │ ├── icfp_96_10.sl │ ├── icfp_96_1000.sl │ ├── icfp_99_100.sl │ ├── icfp_9_1000.sl │ ├── inv_gen_array.sl │ ├── inv_gen_cegar2.sl │ ├── inv_gen_cgr1.sl │ ├── inv_gen_ex14.sl │ ├── inv_gen_ex23.sl │ ├── inv_gen_ex7.sl │ ├── inv_gen_fig1.sl │ ├── inv_gen_fig3.sl │ ├── inv_gen_fig6.sl │ ├── inv_gen_fig8.sl │ ├── inv_gen_fig9.sl │ ├── inv_gen_finf1.sl │ ├── inv_gen_finf2.sl │ ├── inv_gen_n_c11.sl │ ├── inv_gen_sum1.sl │ ├── inv_gen_sum3.sl │ ├── inv_gen_sum4.sl │ ├── inv_gen_tcs.sl │ ├── inv_gen_term2.sl │ ├── inv_gen_term3.sl │ ├── inv_gen_trex1.sl │ ├── inv_gen_trex2.sl │ ├── inv_gen_trex4.sl │ ├── inv_gen_vmail.sl │ ├── inv_gen_w1.sl │ ├── inv_gen_w2.sl │ ├── inv_gen_winf1.sl │ ├── inv_gen_winf2.sl │ ├── max10.sl │ ├── max12.sl │ ├── max13.sl │ ├── max14.sl │ ├── max15.sl │ ├── max2.sl │ ├── max3.sl │ ├── max4.sl │ ├── max5.sl │ ├── max6.sl │ ├── max7.sl │ ├── max8.sl │ ├── max9.sl │ ├── max_11.sl │ ├── mpg_example1.sl │ ├── mpg_example2.sl │ ├── mpg_example3.sl │ ├── mpg_example4.sl │ ├── mpg_example5.sl │ ├── mpg_guard1.sl │ ├── mpg_guard2.sl │ ├── mpg_guard3.sl │ ├── mpg_guard4.sl │ ├── mpg_ite1.sl │ ├── mpg_ite2.sl │ ├── mpg_plane1.sl │ ├── mpg_plane2.sl │ ├── mpg_plane3.sl │ ├── ninefuncs.sl │ ├── parity-AIG-d0.sl │ ├── parity-AIG-d1.sl │ ├── parity-NAND-d0.sl │ ├── parity-NAND-d1.sl │ ├── parity.sl │ ├── polynomial.sl │ ├── polynomial1.sl │ ├── polynomial2.sl │ ├── polynomial3.sl │ ├── polynomial4.sl │ ├── qm_area_sel_2.sl │ ├── qm_choose_01.sl │ ├── qm_choose_yz.sl │ ├── qm_in_range.sl │ ├── qm_loop_1.sl │ ├── qm_loop_2.sl │ ├── qm_loop_3.sl │ ├── qm_max2.sl │ ├── qm_max3.sl │ ├── qm_max4.sl │ ├── qm_max5.sl │ ├── qm_neg_1.sl │ ├── qm_neg_2.sl │ ├── qm_neg_3.sl │ ├── qm_neg_4.sl │ ├── qm_neg_5.sl │ ├── qm_neg_eq_1.sl │ ├── qm_neg_eq_2.sl │ ├── qm_neg_eq_3.sl │ ├── qm_neg_eq_4.sl │ ├── qm_neg_eq_5.sl │ ├── s0.sl │ ├── s0_d0.sl │ ├── s0_d1.sl │ ├── s0_d2.sl │ ├── s1.sl │ ├── s10.sl │ ├── s11.sl │ ├── s12.sl │ ├── s2.sl │ ├── s3.sl │ ├── s4.sl │ ├── s5.sl │ ├── s6.sl │ ├── s7.sl │ ├── s8.sl │ ├── s9.sl │ ├── sixfuncs.sl │ ├── t1.sl │ ├── t10.sl │ ├── t11.sl │ ├── t12.sl │ ├── t14.sl │ ├── t15.sl │ ├── t17.sl │ ├── t18.sl │ ├── t2.sl │ ├── t20.sl │ ├── t3.sl │ ├── t4.sl │ ├── t5.sl │ ├── t6.sl │ ├── t7.sl │ ├── t8.sl │ ├── t9.sl │ ├── tenfunc1.sl │ ├── unbdd_inv_gen_array.sl │ ├── unbdd_inv_gen_cegar2.sl │ ├── unbdd_inv_gen_cgr1.sl │ ├── unbdd_inv_gen_ex14.sl │ ├── unbdd_inv_gen_ex23.sl │ ├── unbdd_inv_gen_ex7.sl │ ├── unbdd_inv_gen_fig1.sl │ ├── unbdd_inv_gen_fig3.sl │ ├── unbdd_inv_gen_fig6.sl │ ├── unbdd_inv_gen_fig8.sl │ ├── unbdd_inv_gen_fig9.sl │ ├── unbdd_inv_gen_finf1.sl │ ├── unbdd_inv_gen_finf2.sl │ ├── unbdd_inv_gen_n_c11.sl │ ├── unbdd_inv_gen_sum1.sl │ ├── unbdd_inv_gen_sum3.sl │ ├── unbdd_inv_gen_sum4.sl │ ├── unbdd_inv_gen_tcs.sl │ ├── unbdd_inv_gen_term2.sl │ ├── unbdd_inv_gen_term3.sl │ ├── unbdd_inv_gen_trex1.sl │ ├── unbdd_inv_gen_trex2.sl │ ├── unbdd_inv_gen_trex4.sl │ ├── unbdd_inv_gen_vmail.sl │ ├── unbdd_inv_gen_w1.sl │ ├── unbdd_inv_gen_w2.sl │ ├── unbdd_inv_gen_winf1.sl │ └── unbdd_inv_gen_winf2.sl └── sygus_bv │ ├── sygus-hd-32bit │ ├── e.sl │ ├── hd-01-d1-prog.sl │ ├── hd-01-d5-prog.sl │ ├── hd-02-d0-prog.sl │ ├── hd-02-d1-prog.sl │ ├── hd-02-d5-prog.sl │ ├── hd-03-d0-prog.sl │ ├── hd-03-d1-prog.sl │ ├── hd-03-d5-prog.sl │ ├── hd-04-d0-prog.sl │ ├── hd-04-d1-prog.sl │ ├── hd-04-d5-prog.sl │ ├── hd-05-d0-prog.sl │ ├── hd-05-d1-prog.sl │ ├── hd-05-d5-prog.sl │ ├── hd-06-d0-prog.sl │ ├── hd-06-d1-prog.sl │ ├── hd-06-d5-prog.sl │ ├── hd-07-d0-prog.sl │ ├── hd-07-d1-prog.sl │ ├── hd-07-d5-prog.sl │ ├── hd-08-d0-prog.sl │ ├── hd-08-d1-prog.sl │ ├── hd-08-d5-prog.sl │ ├── hd-09-d0-prog.sl │ ├── hd-09-d1-prog.sl │ ├── hd-09-d5-prog.sl │ ├── hd-13-d0-prog.sl │ ├── hd-13-d1-prog.sl │ ├── hd-13-d5-prog.sl │ ├── hd-14-d0-prog.sl │ ├── hd-14-d1-prog.sl │ ├── hd-14-d5-prog.sl │ ├── hd-15-d0-prog.sl │ ├── hd-15-d1-prog.sl │ ├── hd-15-d5-prog.sl │ ├── hd-17-d0-prog.sl │ ├── hd-17-d1-prog.sl │ ├── hd-17-d5-prog.sl │ ├── hd-19-d0-prog.sl │ ├── hd-19-d1-prog.sl │ ├── hd-19-d5-prog.sl │ ├── hd-20-d0-prog.sl │ ├── hd-20-d1-prog.sl │ ├── hd-20-d5-prog.sl │ └── tmp.sl │ ├── sygus-hd-64bit │ ├── hd-01-d1-prog.sl │ ├── hd-01-d5-prog.sl │ ├── hd-02-d0-prog.sl │ ├── hd-02-d1-prog.sl │ ├── hd-02-d5-prog.sl │ ├── hd-03-d0-prog.sl │ ├── hd-03-d1-prog.sl │ ├── hd-03-d5-prog.sl │ ├── hd-04-d0-prog.sl │ ├── hd-04-d1-prog.sl │ ├── hd-04-d5-prog.sl │ ├── hd-05-d0-prog.sl │ ├── hd-05-d1-prog.sl │ ├── hd-05-d5-prog.sl │ ├── hd-06-d0-prog.sl │ ├── hd-06-d1-prog.sl │ ├── hd-06-d5-prog.sl │ ├── hd-07-d0-prog.sl │ ├── hd-07-d1-prog.sl │ ├── hd-07-d5-prog.sl │ ├── hd-08-d0-prog.sl │ ├── hd-08-d1-prog.sl │ ├── hd-08-d5-prog.sl │ ├── hd-09-d0-prog.sl │ ├── hd-09-d1-prog.sl │ ├── hd-09-d5-prog.sl │ ├── hd-13-d0-prog.sl │ ├── hd-13-d1-prog.sl │ ├── hd-13-d5-prog.sl │ ├── hd-14-d0-prog.sl │ ├── hd-14-d1-prog.sl │ ├── hd-14-d5-prog.sl │ ├── hd-15-d0-prog.sl │ ├── hd-15-d1-prog.sl │ ├── hd-15-d5-prog.sl │ ├── hd-17-d0-prog.sl │ ├── hd-17-d1-prog.sl │ ├── hd-17-d5-prog.sl │ ├── hd-19-d0-prog.sl │ ├── hd-19-d1-prog.sl │ ├── hd-19-d5-prog.sl │ ├── hd-20-d0-prog.sl │ ├── hd-20-d1-prog.sl │ └── hd-20-d5-prog.sl │ └── sygus-hd-8bit │ ├── hd-01-d0-prog.sl │ ├── hd-01-d1-prog.sl │ ├── hd-01-d5-prog.sl │ ├── hd-02-d0-prog.sl │ ├── hd-02-d1-prog.sl │ ├── hd-02-d5-prog.sl │ ├── hd-03-d0-prog.sl │ ├── hd-03-d1-prog.sl │ ├── hd-03-d5-prog.sl │ ├── hd-04-d0-prog.sl │ ├── hd-04-d1-prog.sl │ ├── hd-04-d5-prog.sl │ ├── hd-05-d0-prog.sl │ ├── hd-05-d1-prog.sl │ ├── hd-05-d5-prog.sl │ ├── hd-06-d0-prog.sl │ ├── hd-06-d1-prog.sl │ ├── hd-06-d5-prog.sl │ ├── hd-07-d0-prog.sl │ ├── hd-07-d1-prog.sl │ ├── hd-07-d5-prog.sl │ ├── hd-08-d0-prog.sl │ ├── hd-08-d1-prog.sl │ ├── hd-08-d5-prog.sl │ ├── hd-09-d0-prog.sl │ ├── hd-09-d1-prog.sl │ ├── hd-09-d5-prog.sl │ ├── hd-13-d0-prog.sl │ ├── hd-13-d1-prog.sl │ ├── hd-13-d5-prog.sl │ ├── hd-14-d0-prog.sl │ ├── hd-14-d1-prog.sl │ ├── hd-14-d5-prog.sl │ ├── hd-15-d0-prog.sl │ ├── hd-15-d1-prog.sl │ ├── hd-15-d5-prog.sl │ ├── hd-17-d0-prog.sl │ ├── hd-17-d1-prog.sl │ ├── hd-17-d5-prog.sl │ ├── hd-19-d0-prog.sl │ ├── hd-19-d1-prog.sl │ ├── hd-19-d5-prog.sl │ ├── hd-20-d0-prog.sl │ ├── hd-20-d1-prog.sl │ ├── hd-20-d5-prog.sl │ └── tmp.sl ├── sygus.py └── synth ├── __init__.py ├── base_synths.py ├── brahma.py ├── cegis.py ├── downscaling.py ├── objective.py ├── oplib.py ├── solvers.py ├── spec.py ├── synth_n.py └── util.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/README.md -------------------------------------------------------------------------------- /bench/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/base.py -------------------------------------------------------------------------------- /bench/hackdel_heavy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/hackdel_heavy.py -------------------------------------------------------------------------------- /bench/hackdel_light.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/hackdel_light.py -------------------------------------------------------------------------------- /bench/hackdel_sygus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/hackdel_sygus.py -------------------------------------------------------------------------------- /bench/hackdel_sygus_own_spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/hackdel_sygus_own_spec.py -------------------------------------------------------------------------------- /bench/random.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/random.py -------------------------------------------------------------------------------- /bench/rulesynth.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/rulesynth.py -------------------------------------------------------------------------------- /bench/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/bench/util.py -------------------------------------------------------------------------------- /benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/benchmark.py -------------------------------------------------------------------------------- /boolfunc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/boolfunc.py -------------------------------------------------------------------------------- /demo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/demo.py -------------------------------------------------------------------------------- /eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/eval.py -------------------------------------------------------------------------------- /eval/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /eval/experiments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/eval/experiments.py -------------------------------------------------------------------------------- /eval/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/eval/util.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | tyro>=0.8.11 2 | z3-solver>=4.13.0.0 3 | tinysexpr==1.3 4 | -------------------------------------------------------------------------------- /resources/boolfunc/npn/npn3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/npn/npn3 -------------------------------------------------------------------------------- /resources/boolfunc/npn/npn4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/npn/npn4 -------------------------------------------------------------------------------- /resources/boolfunc/npn/npn5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/npn/npn5 -------------------------------------------------------------------------------- /resources/boolfunc/pla/add.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/add.pla -------------------------------------------------------------------------------- /resources/boolfunc/pla/const.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/const.pla -------------------------------------------------------------------------------- /resources/boolfunc/pla/dontcare.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/dontcare.pla -------------------------------------------------------------------------------- /resources/boolfunc/pla/mux.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/mux.pla -------------------------------------------------------------------------------- /resources/boolfunc/pla/overflow.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/overflow.pla -------------------------------------------------------------------------------- /resources/boolfunc/pla/zero.pla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/boolfunc/pla/zero.pla -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bool-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bool-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bool-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bool-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bv32-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bv32-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bv32-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bv32-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bv4-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bv4-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/cvc4/bv4-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/cvc4/bv4-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bool-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bool-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bool-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bool-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bv32-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bv32-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bv32-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bv32-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bv4-3vars-2iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bv4-3vars-2iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/bv4-3vars-3iters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/bv4-3vars-3iters.json -------------------------------------------------------------------------------- /resources/rulesets/ruler/herbie.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/rulesets/ruler/herbie.txt -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_1-P5-D5-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_1-P5-D5-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_1-P5-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_1-P5-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_1-P5-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_1-P5-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_1-P5_1-P5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_1-P5_1-P5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn10.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn100.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn101.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn101.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn102.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn102.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn103.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn103.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn104.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn104.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn105.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn105.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn11.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn12.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn13.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn13.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn14.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn15.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn15.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn16.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn16.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn17.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn17.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn18.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn18.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn19.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn19.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn20.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn20.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn21.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn21.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn22.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn22.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn23.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn23.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn24.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn24.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn25.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn25.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn26.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn26.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn27.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn27.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn28.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn28.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn29.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn29.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn30.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn30.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn31.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn31.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn32.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn32.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn33.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn33.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn34.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn34.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn35.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn35.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn36.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn36.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn37.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn37.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn38.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn38.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn39.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn39.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn40.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn40.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn41.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn41.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn42.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn42.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn43.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn43.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn44.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn44.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn45.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn45.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn46.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn46.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn47.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn47.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn48.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn48.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn49.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn49.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn50.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn50.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn51.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn51.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn52.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn52.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn53.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn53.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn54.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn54.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn55.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn55.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn56.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn56.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn57.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn57.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn58.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn58.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn59.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn59.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn60.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn60.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn61.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn61.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn62.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn62.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn63.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn63.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn64.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn64.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn65.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn65.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn66.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn66.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn67.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn67.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn68.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn68.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn69.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn69.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn70.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn70.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn71.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn71.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn72.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn72.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn73.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn73.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn74.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn74.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn75.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn75.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn76.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn76.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn77.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn77.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn78.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn78.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn79.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn79.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn80.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn80.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn81.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn81.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn82.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn82.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn83.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn83.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn84.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn84.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn85.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn85.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn86.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn86.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn87.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn87.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn88.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn88.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn89.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn89.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn90.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn90.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn91.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn91.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn92.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn92.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn93.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn93.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn94.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn94.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn95.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn95.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn96.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn96.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn97.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn97.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn98.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn98.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn99.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D5-sIn99.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_10-sbox2-D7-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_10-sbox2-D7-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_2-P6-D5-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_2-P6-D5-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_2-P6-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_2-P6-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_2-P6-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_2-P6-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_2-P6-D7-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_2-P6-D7-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_2-P6_2-P6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_2-P6_2-P6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_3-P7-D5-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_3-P7-D5-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_3-P7_3-P7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_3-P7_3-P7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_4-P8-D5-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_4-P8-D5-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_4-P8_4-P8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_4-P8_4-P8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_5-P9-D5-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_5-P9-D5-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_5-P9_5-P9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_5-P9_5-P9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D5-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D5-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D7-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D7-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10-D9-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10-D9-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_6-P10_6-P10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_6-P10_6-P10.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn10.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn11.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D5-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D5-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D7-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D7-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D9-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D9-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D9-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D9-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D9-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D9-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11-D9-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11-D9-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_7-P11_7-P11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_7-P11_7-P11.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn10.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D5-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D5-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn10.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn11.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn12.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn13.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn13.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn14.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn15.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn15.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn16.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn16.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn17.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn17.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn18.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn18.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn19.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn19.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn20.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn20.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn21.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn21.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn22.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn22.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn23.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn23.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn24.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn24.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn25.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn25.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn5.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn6.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn7.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn8.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D7-sIn9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D7-sIn9.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D9-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D9-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D9-sIn2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D9-sIn2.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D9-sIn3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D9-sIn3.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_8-P12-D9-sIn4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_8-P12-D9-sIn4.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_9-pprmAll-D5-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_9-pprmAll-D5-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_9-pprmAll-D7-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_9-pprmAll-D7-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/CrCi/CrCy_9-pprmAll-D9-sIn1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/CrCi/CrCy_9-pprmAll-D9-sIn1.sl -------------------------------------------------------------------------------- /resources/sygus/General_plus10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/General_plus10.sl -------------------------------------------------------------------------------- /resources/sygus/LinExpr_eq1ex.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/LinExpr_eq1ex.sl -------------------------------------------------------------------------------- /resources/sygus/LinExpr_eq2ex.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/LinExpr_eq2ex.sl -------------------------------------------------------------------------------- /resources/sygus/LinExpr_inv1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/LinExpr_inv1.sl -------------------------------------------------------------------------------- /resources/sygus/LinExpr_inv1_ex.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/LinExpr_inv1_ex.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d1s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d1s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d1s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d1s7.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d4s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d4s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d4s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d4s7.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d5s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d5s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwL_d5s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwL_d5s7.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d1s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d1s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d1s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d1s7.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d4s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d4s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d4s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d4s7.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d5s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d5s3.sl -------------------------------------------------------------------------------- /resources/sygus/MPwoL_d5s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/MPwoL_d5s7.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_10.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_11.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_12.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_13.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_13.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_14.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_15.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_15.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_2.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_3.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_4.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_5.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_6.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_7.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_8.sl -------------------------------------------------------------------------------- /resources/sygus/array_search_9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/array_search_9.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-0.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-1.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-2.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-3.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-4.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-5.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-scale-disp-solution-6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-scale-disp-solution-6.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-0.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-1.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-2.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-3.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-4.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-5.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-index-solution-6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-index-solution-6.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-0.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-1.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-2.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-3.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-4.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-5.sl -------------------------------------------------------------------------------- /resources/sygus/btr-am-base-solution-6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-am-base-solution-6.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-0.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-1.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-2.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-3.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-4.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-5.sl -------------------------------------------------------------------------------- /resources/sygus/btr-solution-6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/btr-solution-6.sl -------------------------------------------------------------------------------- /resources/sygus/commutative.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/commutative.sl -------------------------------------------------------------------------------- /resources/sygus/constant.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/constant.sl -------------------------------------------------------------------------------- /resources/sygus/eightfuncs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/eightfuncs.sl -------------------------------------------------------------------------------- /resources/sygus/fivefuncs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/fivefuncs.sl -------------------------------------------------------------------------------- /resources/sygus/hd-01-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-01-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-01-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-01-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-02-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-02-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-02-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-02-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-02-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-02-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-03-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-03-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-03-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-03-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-03-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-03-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-04-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-04-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-04-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-04-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-04-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-04-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-05-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-05-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-05-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-05-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-05-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-05-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-06-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-06-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-06-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-06-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-06-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-06-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-07-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-07-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-07-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-07-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-07-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-07-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-08-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-08-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-08-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-08-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-08-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-08-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-09-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-09-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-09-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-09-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-09-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-09-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-13-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-13-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-13-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-13-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-13-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-13-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-14-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-14-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-14-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-14-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-14-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-14-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-15-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-15-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-15-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-15-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-15-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-15-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-17-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-17-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-17-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-17-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-17-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-17-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-19-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-19-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-19-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-19-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-19-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-19-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-20-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-20-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-20-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-20-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-20-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-20-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/array_search_15-Q.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/array_search_15-Q.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/array_search_3-Q.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/array_search_3-Q.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/array_search_5-Q.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/array_search_5-Q.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/array_sum_2_5-Q.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/array_sum_2_5-Q.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-pareto_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-pareto_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-pareto_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-pareto_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-pareto_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-pareto_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog-prob_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog-prob_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog-prob_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog-prob_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog-prob_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog-prob_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog-prob_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog-prob_3.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-prog_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-prog_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-sort_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-sort_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-sort_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-sort_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-05-d5-sort_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-05-d5-sort_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-pareto_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-pareto_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-pareto_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-pareto_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-pareto_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-pareto_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-pareto_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-pareto_3.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog-prob_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog-prob_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog-prob_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog-prob_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog-prob_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog-prob_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog_1.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-prog_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-prog_2.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-sort_0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-sort_0.sl -------------------------------------------------------------------------------- /resources/sygus/hd-pareto/hd-07-d5-sort_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/hd-pareto/hd-07-d5-sort_1.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_103_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_103_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_104_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_104_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_105_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_105_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_105_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_105_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_113_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_113_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_114_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_114_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_118_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_118_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_118_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_118_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_125_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_125_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_134_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_134_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_135_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_135_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_139_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_139_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_143_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_143_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_144_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_144_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_144_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_144_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_147_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_147_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_14_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_14_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_150_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_150_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_21_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_21_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_25_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_25_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_28_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_28_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_30_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_30_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_32_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_32_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_38_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_38_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_39_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_39_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_45_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_45_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_45_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_45_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_51_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_51_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_54_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_54_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_56_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_56_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_5_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_5_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_64_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_64_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_68_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_68_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_69_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_69_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_72_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_72_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_73_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_73_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_7_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_7_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_7_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_7_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_81_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_81_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_82_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_82_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_82_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_82_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_87_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_87_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_93_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_93_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_94_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_94_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_94_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_94_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_95_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_95_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_96_10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_96_10.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_96_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_96_1000.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_99_100.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_99_100.sl -------------------------------------------------------------------------------- /resources/sygus/icfp_9_1000.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/icfp_9_1000.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_array.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_array.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_cegar2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_cegar2.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_cgr1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_cgr1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_ex14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_ex14.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_ex23.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_ex23.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_ex7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_ex7.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_fig1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_fig1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_fig3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_fig3.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_fig6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_fig6.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_fig8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_fig8.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_fig9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_fig9.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_finf1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_finf1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_finf2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_finf2.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_n_c11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_n_c11.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_sum1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_sum1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_sum3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_sum3.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_sum4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_sum4.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_tcs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_tcs.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_term2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_term2.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_term3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_term3.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_trex1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_trex1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_trex2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_trex2.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_trex4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_trex4.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_vmail.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_vmail.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_w1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_w1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_w2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_w2.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_winf1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_winf1.sl -------------------------------------------------------------------------------- /resources/sygus/inv_gen_winf2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/inv_gen_winf2.sl -------------------------------------------------------------------------------- /resources/sygus/max10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max10.sl -------------------------------------------------------------------------------- /resources/sygus/max12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max12.sl -------------------------------------------------------------------------------- /resources/sygus/max13.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max13.sl -------------------------------------------------------------------------------- /resources/sygus/max14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max14.sl -------------------------------------------------------------------------------- /resources/sygus/max15.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max15.sl -------------------------------------------------------------------------------- /resources/sygus/max2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max2.sl -------------------------------------------------------------------------------- /resources/sygus/max3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max3.sl -------------------------------------------------------------------------------- /resources/sygus/max4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max4.sl -------------------------------------------------------------------------------- /resources/sygus/max5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max5.sl -------------------------------------------------------------------------------- /resources/sygus/max6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max6.sl -------------------------------------------------------------------------------- /resources/sygus/max7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max7.sl -------------------------------------------------------------------------------- /resources/sygus/max8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max8.sl -------------------------------------------------------------------------------- /resources/sygus/max9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max9.sl -------------------------------------------------------------------------------- /resources/sygus/max_11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/max_11.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_example1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_example1.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_example2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_example2.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_example3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_example3.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_example4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_example4.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_example5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_example5.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_guard1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_guard1.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_guard2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_guard2.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_guard3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_guard3.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_guard4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_guard4.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_ite1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_ite1.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_ite2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_ite2.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_plane1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_plane1.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_plane2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_plane2.sl -------------------------------------------------------------------------------- /resources/sygus/mpg_plane3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/mpg_plane3.sl -------------------------------------------------------------------------------- /resources/sygus/ninefuncs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/ninefuncs.sl -------------------------------------------------------------------------------- /resources/sygus/parity-AIG-d0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/parity-AIG-d0.sl -------------------------------------------------------------------------------- /resources/sygus/parity-AIG-d1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/parity-AIG-d1.sl -------------------------------------------------------------------------------- /resources/sygus/parity-NAND-d0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/parity-NAND-d0.sl -------------------------------------------------------------------------------- /resources/sygus/parity-NAND-d1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/parity-NAND-d1.sl -------------------------------------------------------------------------------- /resources/sygus/parity.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/parity.sl -------------------------------------------------------------------------------- /resources/sygus/polynomial.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/polynomial.sl -------------------------------------------------------------------------------- /resources/sygus/polynomial1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/polynomial1.sl -------------------------------------------------------------------------------- /resources/sygus/polynomial2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/polynomial2.sl -------------------------------------------------------------------------------- /resources/sygus/polynomial3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/polynomial3.sl -------------------------------------------------------------------------------- /resources/sygus/polynomial4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/polynomial4.sl -------------------------------------------------------------------------------- /resources/sygus/qm_area_sel_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_area_sel_2.sl -------------------------------------------------------------------------------- /resources/sygus/qm_choose_01.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_choose_01.sl -------------------------------------------------------------------------------- /resources/sygus/qm_choose_yz.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_choose_yz.sl -------------------------------------------------------------------------------- /resources/sygus/qm_in_range.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_in_range.sl -------------------------------------------------------------------------------- /resources/sygus/qm_loop_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_loop_1.sl -------------------------------------------------------------------------------- /resources/sygus/qm_loop_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_loop_2.sl -------------------------------------------------------------------------------- /resources/sygus/qm_loop_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_loop_3.sl -------------------------------------------------------------------------------- /resources/sygus/qm_max2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_max2.sl -------------------------------------------------------------------------------- /resources/sygus/qm_max3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_max3.sl -------------------------------------------------------------------------------- /resources/sygus/qm_max4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_max4.sl -------------------------------------------------------------------------------- /resources/sygus/qm_max5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_max5.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_1.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_2.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_3.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_4.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_5.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_eq_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_eq_1.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_eq_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_eq_2.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_eq_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_eq_3.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_eq_4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_eq_4.sl -------------------------------------------------------------------------------- /resources/sygus/qm_neg_eq_5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/qm_neg_eq_5.sl -------------------------------------------------------------------------------- /resources/sygus/s0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s0.sl -------------------------------------------------------------------------------- /resources/sygus/s0_d0.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s0_d0.sl -------------------------------------------------------------------------------- /resources/sygus/s0_d1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s0_d1.sl -------------------------------------------------------------------------------- /resources/sygus/s0_d2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s0_d2.sl -------------------------------------------------------------------------------- /resources/sygus/s1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s1.sl -------------------------------------------------------------------------------- /resources/sygus/s10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s10.sl -------------------------------------------------------------------------------- /resources/sygus/s11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s11.sl -------------------------------------------------------------------------------- /resources/sygus/s12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s12.sl -------------------------------------------------------------------------------- /resources/sygus/s2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s2.sl -------------------------------------------------------------------------------- /resources/sygus/s3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s3.sl -------------------------------------------------------------------------------- /resources/sygus/s4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s4.sl -------------------------------------------------------------------------------- /resources/sygus/s5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s5.sl -------------------------------------------------------------------------------- /resources/sygus/s6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s6.sl -------------------------------------------------------------------------------- /resources/sygus/s7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s7.sl -------------------------------------------------------------------------------- /resources/sygus/s8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s8.sl -------------------------------------------------------------------------------- /resources/sygus/s9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/s9.sl -------------------------------------------------------------------------------- /resources/sygus/sixfuncs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/sixfuncs.sl -------------------------------------------------------------------------------- /resources/sygus/t1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t1.sl -------------------------------------------------------------------------------- /resources/sygus/t10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t10.sl -------------------------------------------------------------------------------- /resources/sygus/t11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t11.sl -------------------------------------------------------------------------------- /resources/sygus/t12.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t12.sl -------------------------------------------------------------------------------- /resources/sygus/t14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t14.sl -------------------------------------------------------------------------------- /resources/sygus/t15.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t15.sl -------------------------------------------------------------------------------- /resources/sygus/t17.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t17.sl -------------------------------------------------------------------------------- /resources/sygus/t18.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t18.sl -------------------------------------------------------------------------------- /resources/sygus/t2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t2.sl -------------------------------------------------------------------------------- /resources/sygus/t20.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t20.sl -------------------------------------------------------------------------------- /resources/sygus/t3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t3.sl -------------------------------------------------------------------------------- /resources/sygus/t4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t4.sl -------------------------------------------------------------------------------- /resources/sygus/t5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t5.sl -------------------------------------------------------------------------------- /resources/sygus/t6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t6.sl -------------------------------------------------------------------------------- /resources/sygus/t7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t7.sl -------------------------------------------------------------------------------- /resources/sygus/t8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t8.sl -------------------------------------------------------------------------------- /resources/sygus/t9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/t9.sl -------------------------------------------------------------------------------- /resources/sygus/tenfunc1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/tenfunc1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_array.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_array.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_cegar2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_cegar2.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_cgr1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_cgr1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_ex14.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_ex14.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_ex23.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_ex23.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_ex7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_ex7.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_fig1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_fig1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_fig3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_fig3.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_fig6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_fig6.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_fig8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_fig8.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_fig9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_fig9.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_finf1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_finf1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_finf2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_finf2.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_n_c11.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_n_c11.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_sum1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_sum1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_sum3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_sum3.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_sum4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_sum4.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_tcs.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_tcs.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_term2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_term2.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_term3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_term3.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_trex1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_trex1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_trex2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_trex2.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_trex4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_trex4.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_vmail.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_vmail.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_w1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_w1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_w2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_w2.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_winf1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_winf1.sl -------------------------------------------------------------------------------- /resources/sygus/unbdd_inv_gen_winf2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus/unbdd_inv_gen_winf2.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/e.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/e.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-01-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-01-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-01-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-01-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-02-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-02-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-02-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-02-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-02-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-02-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-03-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-03-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-03-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-03-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-03-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-03-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-04-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-04-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-04-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-04-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-04-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-04-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-05-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-05-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-05-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-05-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-05-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-05-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-06-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-06-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-06-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-06-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-06-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-06-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-07-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-07-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-07-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-07-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-07-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-07-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-08-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-08-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-08-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-08-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-08-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-08-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-09-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-09-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-09-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-09-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-09-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-09-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-13-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-13-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-13-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-13-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-13-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-13-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-14-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-14-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-14-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-14-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-14-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-14-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-15-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-15-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-15-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-15-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-15-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-15-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-17-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-17-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-17-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-17-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-17-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-17-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-19-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-19-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-19-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-19-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-19-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-19-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-20-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-20-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-20-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-20-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/hd-20-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/hd-20-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-32bit/tmp.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-32bit/tmp.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-01-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-01-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-01-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-01-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-02-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-02-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-02-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-02-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-02-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-02-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-03-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-03-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-03-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-03-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-03-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-03-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-04-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-04-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-04-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-04-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-04-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-04-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-05-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-05-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-05-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-05-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-05-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-05-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-06-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-06-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-06-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-06-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-06-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-06-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-07-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-07-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-07-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-07-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-07-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-07-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-08-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-08-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-08-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-08-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-08-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-08-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-09-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-09-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-09-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-09-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-09-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-09-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-13-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-13-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-13-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-13-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-13-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-13-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-14-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-14-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-14-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-14-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-14-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-14-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-15-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-15-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-15-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-15-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-15-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-15-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-17-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-17-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-17-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-17-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-17-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-17-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-19-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-19-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-19-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-19-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-19-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-19-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-20-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-20-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-20-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-20-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-64bit/hd-20-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-64bit/hd-20-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-01-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-01-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-01-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-01-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-01-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-01-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-02-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-02-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-02-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-02-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-02-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-02-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-03-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-03-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-03-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-03-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-03-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-03-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-04-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-04-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-04-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-04-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-04-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-04-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-05-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-05-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-05-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-05-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-05-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-05-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-06-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-06-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-06-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-06-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-06-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-06-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-07-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-07-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-07-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-07-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-07-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-07-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-08-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-08-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-08-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-08-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-08-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-08-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-09-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-09-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-09-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-09-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-09-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-09-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-13-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-13-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-13-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-13-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-13-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-13-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-14-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-14-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-14-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-14-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-14-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-14-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-15-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-15-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-15-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-15-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-15-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-15-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-17-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-17-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-17-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-17-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-17-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-17-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-19-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-19-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-19-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-19-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-19-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-19-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-20-d0-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-20-d0-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-20-d1-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-20-d1-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/hd-20-d5-prog.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/hd-20-d5-prog.sl -------------------------------------------------------------------------------- /resources/sygus_bv/sygus-hd-8bit/tmp.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/resources/sygus_bv/sygus-hd-8bit/tmp.sl -------------------------------------------------------------------------------- /sygus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/sygus.py -------------------------------------------------------------------------------- /synth/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/__init__.py -------------------------------------------------------------------------------- /synth/base_synths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/base_synths.py -------------------------------------------------------------------------------- /synth/brahma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/brahma.py -------------------------------------------------------------------------------- /synth/cegis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/cegis.py -------------------------------------------------------------------------------- /synth/downscaling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/downscaling.py -------------------------------------------------------------------------------- /synth/objective.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/objective.py -------------------------------------------------------------------------------- /synth/oplib.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/oplib.py -------------------------------------------------------------------------------- /synth/solvers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/solvers.py -------------------------------------------------------------------------------- /synth/spec.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/spec.py -------------------------------------------------------------------------------- /synth/synth_n.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/synth_n.py -------------------------------------------------------------------------------- /synth/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shack/synth/HEAD/synth/util.py --------------------------------------------------------------------------------