mirror of
https://github.com/circify/circ.git
synced 2026-01-13 15:47:56 -05:00
11 lines
416 B
Markdown
11 lines
416 B
Markdown
# Background Reading for CirC
|
|
|
|
* IR
|
|
* The IR is based on SMT
|
|
* [Tutorial](https://rise4fun.com/z3/tutorial)
|
|
* [Standard](http://smtlib.cs.uiowa.edu/standard.shtml)
|
|
* The IR is implemented using "perfect sharing" aka "hash consing"
|
|
* [Wikipedia](https://en.wikipedia.org/wiki/Hash_consing)
|
|
* Our implementation is based on
|
|
[this](https://docs.rs/hashconsing/1.3.0/hashconsing/)
|