-
allsat-cnf Public
Code for the paper "On CNF Conversion for SAT Enumeration"
-
cdcl_ocac Public
Forked from fuqi-jia/cdcl_ocacA forked CVC5 only for NRA-OMT Solving (CDCL(OCAC))
SMT Other UpdatedDec 9, 2025 -
d4v2 Public
Forked from crillab/d4v2C++ GNU Lesser General Public License v2.1 UpdatedOct 22, 2025 -
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedJul 29, 2025 -
arfv2025 Public
Material for the course Automated Reasoning and Formal Verification a.a. 2024/2025 from the University of Trento
-
-
ampl2omt Public
Convert NonLinear Programming problems from AMPL format (.nl) to SMT-LIBv2 with optimization extensions
C++ GNU General Public License v3.0 UpdatedJan 4, 2025 -
ampl2omt-python Public
Convert NonLinear Programming problems from AMPL format (.nl) to SMT-LIBv2 with optimization extensions
Python GNU General Public License v3.0 UpdatedSep 25, 2024 -
-
dd Public
Forked from tulip-control/ddExtension with Cython bindings for LDD library (Linear Decision Diagrams)
-
wmi-pa Public
Forked from unitn-sml/wmpyEfficient WMI via SMT-Based Predicate Abstraction
Python MIT License UpdatedDec 14, 2023 -
binder Public
Forked from RosettaCommons/binderBinder, tool for automatic generation of Python bindings
C++ MIT License UpdatedOct 1, 2023 -
nvim-config Public template
Forked from LunarVim/Launch.nvimNeovim custom config
Lua GNU General Public License v3.0 UpdatedDec 24, 2022 -
-
Identify topics that have been popular on Twitter in multiple time periods
Python MIT License UpdatedNov 23, 2022 -
-
palestradialgoritmi Public
Forked from FraLotito/palestradialgoritmiTraining for the Olympiad in Informatics, Liceo Scientifico Galilei, Trento, 2018/2019, 2019/2020, 2020/2021
C++ UpdatedApr 20, 2021 -
FindMyRoute Public archive
Web app for the mapping of bike routes developed for a school project.
PHP UpdatedJun 26, 2017 -
gesture-recognition Public archive
Python project using opencv to recognize hand gestures
Python UpdatedMar 1, 2017
{{ message }}