satchmo-funsat-1.4: funsat driver as backend for satchmo Contents Index

solve Satchmo.Solver.Funsat