There are 0 repository under lia topic.
Lia is an extensible assembly-like language
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
The official (mono) repository for the Pledari Grond dictionary