-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedNov 26, 2025 -
libpoly Public
Forked from SRI-CSL/libpolyLibPoly is a C library for manipulating polynomials
C GNU Lesser General Public License v3.0 UpdatedNov 16, 2025 -
yices2 Public
Forked from SRI-CSL/yices2The Yices SMT Solver
SMT GNU General Public License v3.0 UpdatedNov 3, 2025 -
bitset Public
Efficient and compressed bitset for C++
C++ GNU General Public License v3.0 UpdatedAug 2, 2025 -
-
triple-hyde Public
Forked from derme302/triple-hydeA cool theme inspired by htr3n's fork of spf13's Hyde theme
SCSS Other UpdatedOct 15, 2024 -
vim-tmux-navigator Public
Forked from christoomey/vim-tmux-navigatorSeamless navigation between tmux panes and vim splits
Vim Script MIT License UpdatedSep 16, 2024 -
-
mkplot Public
Forked from alexeyignatiev/mkplotA Python script to create cactus and scatter plots based on matplotlib
Python MIT License UpdatedMar 15, 2024 -
-
{{ message }}