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

solve Satchmo.Solver.Funsat