Giters

jwiegley / three-partition

A 3-partition solver using SBV and optimization

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A 3-partition solver using SBV and optimization

License:MIT License

Languages

Language:Haskell 67.2%Language:Nix 32.8%