Beast code in Giters

Yuheng Su's repositories

rIC3

A high-performance IC3/PDR algorithm implementation in Rust.

Language:RustGPL-3.04 1 3

DAC24

Predicting Lemmas in Generalization of IC3 (Accepted by DAC2024)

Language:C3 10

minisat-rs

Language:RustMIT2 10

aig-rs

Language:RustMIT1 10

cadical-rs

Language:RustMIT1 10

gipsat

Language:RustGPL-3.0100

logic-form

Language:RustMIT1 10

mc-benchmark

Language:Verilog1 10

nuXmv

Language:PythonNOASSERTION1 10

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION000

btor2tools-sys

Rust FFI bindings for https://github.com/Boolector/btor2tools

Language:RustMIT000

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION000

avr

Reads a state transition system and performs property checking

Language:C++GPL-3.0000

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION000

boolector-rs

Language:Rust010

btor2-rs

Language:Rust000

btor2tools

A generic parser and tool package for the BTOR2 format.

Language:CNOASSERTION000

cadical

CaDiCaL SAT Solver

Language:C++MIT000

cryptominisat-rs

CryptoMiniSat rust bindings

Language:RustMIT000

EasySAT

A Simple CDCL Solver

Language:C++NOASSERTION000

FM2024

000

giputils

Language:Rust000

ic3po

IC3PO: IC3 for Proving Protocol Properties

GPL-3.0000

IC3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Language:C++NOASSERTION000

NuSMV

Language:C010

satif

Language:Rust010

transys

Language:Rust000

v2ray_cli

V2ray Subscription Command-Line Interface for Linux without GUI

Language:PythonGPL-3.0000

yosys

Yosys Open SYnthesis Suite

Language:C++ISC000