Skip to content
View dassbrothers's full-sized avatar
1 follower · 2 following
  • Indian Institute of Technology Kharagpur
  • Kharagpur, West Bengal

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report dassbrothers

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
dassbrothers/README.md
  • 👋 Hi, I’m Sourav (Github ID: @dassbrothers)
  • 👀 I’m interested in Coding and currently working in the areas of Formal Verification
  • 🌱 I’m currently learning how latest SAT Solvers works and their integration with Model Checking.
  • 💞️ I’m looking to collaborate on ...
  • 📫 How to reach me : You can mail me at [email protected] or [email protected]

Popular repositories Loading

  1. dassbrothers.github.io dassbrothers.github.io Public

    JavaScript

  2. riscv-tests riscv-tests Public

    Forked from riscv-software-src/riscv-tests

    C

  3. docker-images docker-images Public

    Forked from oracle/docker-images

    Official source for Docker configurations, images, and examples of Dockerfiles for Oracle products and projects

    Shell

  4. dassbrothers dassbrothers Public

    Config files for my GitHub profile.

  5. Mastermind Mastermind Public

    Solving Mastermind Game using SAT

    C++