lin

lin is a minimalist Rosette-based DSL for linear programming. Here's an example...

; declare variables
(def desirability)
(def supply)
(def cost)
(def price)
(def profit)

; constrain variables
(let (> price 0))
(let (> cost 0))
(let (equal? profit (+ (* 1 price) (* -1 cost))))
(let (> supply 0))

; set variables
(set desirability 90)
(set supply 50)
(set cost 5)

; maximize
(max profit)

; solution
(get price)

lin compiles your code to Rosette code applying one of a variety of solvers to compute satisfiable solutions.