This is your work, valued

Daniel Fremont

Expert
@dfremont

Associate Professor of Computer Science and Engineering at UC Santa Cruz

people.ucsc.edu/~dfremont/

glulx-llvm. An experimental LLVM backend for the Glulx VM, and associated tools.

10

counting-benchmarks. A collection of model counting (#SAT) benchmarks.

6

maxcount. An approximate Max#SAT solver.

5

scipy. SciPy library main repository

1