shackle-rs/shackle
A constraint modelling and rewriting library and compiler framework written in rust
RustMPL-2.0
Issues
- 0
MicroZinc Specification
#22 opened by Dekker1 - 0
Compiler and interpreter planning
#47 opened by cyderize - 2
Grammar railroad diagram
#46 opened by mingodad - 1
Pretty printing of THIR as MiniZinc
#23 opened by Dekker1 - 1
Tracking issue for compiler
#21 opened by cyderize - 0
Pretty printing MIR / MicroZinc
#31 opened by Dekker1 - 0
Removal of overloading
#30 opened by Dekker1 - 0
Reification specialisation
#29 opened by Dekker1 - 0
Totalisation (minimal analysis)
#28 opened by Dekker1 - 0
Decomposing optional types and record
#27 opened by Dekker1 - 0
Monomorphisation
#26 opened by Dekker1 - 0
Desugaring of var if-then-else, var comprehensions, etc. and rewriting into SSA
#25 opened by Dekker1 - 0