elkanatovey/automated-reasoning elkanatovey/automated-reasoning

  • Stars
    star
    1
  • Language
    Python
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
elkanatovey/automated-reasoning
github

elkanatovey

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

an implementation of a CDCL based SAT solver, SMT solver for uninterpreted functions, and an LP theory solver for formal verification purposes

More Repositories

1

NAND2TETRIS_10

my solution to project 10 in NAND2TETRIS
Python
1
star
2

dataLink_relay

dataLink_relay is a sockets library in go that allows a server and client to connect via a relay transparently using TCP or MTLS
Go
1
star