microsat

A tool for synthesizing Verilog programs

Hardware Formal Verification Tool

SRI Yices SMT Solver

The glucose SAT solver

A minimalistic and high-performance SAT solver

CaDiCaL SAT Solver

The Z3 Theorem Prover

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Yosys Open SYnthesis Suite

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Pono: A flexible and extensible SMT-based model checker

Uma classe LaTeX para dissertações, teses e propostas do Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Federal de Minas Gerais (UFMG).

A partir de um input como "Procuro um profissional dedicado com capacidade analítica e experiência no varejo, que domine Pyhton, SQL, Excel, PySpark e algoritmos de machine learning." O código enco…

Character Generator based on Universal-LPC-Spritesheet