Computer scientist | Teacher | Software developer (amateur)
xsat. A Fast Floating-Point Satisfiability Solver
coverme. raw data of my coverme implementation, pldi'17
hello_ros1package. Minimal ROS-1 package
