Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. Variational Satisfiability Solver

    Haskell 1

  2. A Variational Sat Solver based on the Choice Calculus

    Haskell 3 1

  3. Proofs for Variational Satisfiability Solving and Variational Propositional Logic


  4. Repo to hold a spacemacs layer for gerbil until I get it operational enough to merge into spacemacs

    Emacs Lisp 1 1

  5. Forked from LeventErkok/sbv

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.


  6. CSS

759 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to doyougnu/VSat, doyougnu/VSmt, LeventErkok/sbv and 5 other repositories

Contribution activity

November 2020

Created a pull request in LeventErkok/sbv that received 13 comments

Inputs refactored to IntMap

Hi Levent, This PR is to fix #562. In addition to that it does the following: Added dependencies text Changes to cabal file build SBVTest and bo…

+1,419 −1,246 13 comments

Created an issue in doyougnu/VSmt that received 1 comment

Utilize the reader monad in sbv to season the solver

With the parallel version of vsmt we have to season the solver with the variational core. This means that we actually compute ~n~ ~IL~'s where ~n~…

1 comment
41 contributions in private repositories Nov 2 – Nov 21

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.