published Published almost 4 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
published Published about 5 years ago
ambrosia: An R package for calculating and analyzing food demand that is responsive to changing incomes and prices
R C++
published Published over 7 years ago

