Skip to content
View elkanatovey's full-sized avatar

Block or report elkanatovey

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. automated-reasoning automated-reasoning Public

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

    Python 2 2

  2. dataLink_relay dataLink_relay Public

    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