published Published over 3 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
published Published almost 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 about 7 years ago

