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