#
lia
Here are 7 public repositories matching this topic...
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java simplex logic linear-programming bitvector satisfiability-modulo-theories non-linear sat-solver smt-solver lia branch-and-bound dpll non-linear-optimization eq tseitin-transformation linear-integer-programming cdcl nra cylindrical-algebraic-decomposition equf
-
Updated
Feb 9, 2025 - Java
A tool for symbolic finite and infinite-state reactive synthesis
-
Updated
Jan 28, 2026 - HTML
The official (mono) repository for the Pledari Grond dictionary
-
Updated
Jun 23, 2019 - TSQL
Jogo interativo desenvolvido em Prolog, inspirado no formato televisivo 'Quem Quer Ser Milionário?'.
-
Updated
Jan 20, 2026 - Prolog
Improve this page
Add a description, image, and links to the lia topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lia topic, visit your repo's landing page and select "manage topics."