Differentiable Strategy-Proof Mechanisms for Private and Public Goods in Domains that are Not Necessarily Large or Quasi-Linear.