cconnett/nplib cconnett/nplib

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 16 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cconnett/nplib
github

cconnett

Reviews

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

Repository Details

A library for non-deterministic computation through satisfiability reductions. This project is obviated by satisfiability-modulo-theories (SMTLIB).

More Repositories

1

homedir

My configuration files and environment settings for *nix systems.
Emacs Lisp
2
star
2

tf2stats

My code for processing Team Fortress 2 log files and performing statistical analysis
Python
1
star
3

tf2wp

Team Fortress 2 Win Probability Calculator
JavaScript
1
star