Add packages

[FFY00]

• [X] yosys
• [x] nextpnr
• [x] prjtrellis
• [ ] prjxray
• [ ] yosys-symbiflow-plugins (blocked by https://github.com/SymbiFlow/yosys-symbiflow-plugins/issues/20 and https://github.com/SymbiFlow/yosys-symbiflow-plugins/issues/21)
• [ ] symbiflow-arch-defs (is this needed?)
• [x] icestorm
• [x] vtr
  • [X] upstream
  • [X] symbiflow fork
  • [X] quicklogic fork
• [x] SymbiYosys (optional)
  • [ ] avy (stable)
  • [ ] boolector (stable)
  • [ ] super_prove (stable)
  • [ ] yices (stable)

(other nice to have)

• [ ] litex & friends
• [ ] nmigen & friends
• [ ] migen

[FFY00]

@mithro, is there anything you'd like to add?

[HackerFoo]

@FFY00 This might help: https://github.com/HackerFoo/nix-symbiflow

This is my own set of Nix packages that I use for development. I plan to submit them upstream at some point.

[FFY00]

Sorry for the delay. Thanks for the list :smile:.