{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/toysolver","name":"toysolver","description":"Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo Boolean SatisfactionOptimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.","version":"0.10.0","softwareVersion":"0.10.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/msakai/toysolver","issueTracker":"https://github.com/msakai/toysolver/issues","url":"https://github.com/msakai/toysolver/","keywords":["algorithms","bsd3","constraints","formal-methods","library","logic","optimisation","optimization","program","smt","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"MasahiroSakai"}],"author":[{"@type":"Person","name":"MasahiroSakai"}],"copyrightHolder":[{"@type":"Person","name":"MasahiroSakai"}],"dateCreated":"2012-09-27","dateModified":"2026-07-20","datePublished":"2026-07-20","copyrightYear":2012,"downloadUrl":"https://hackage.haskell.org/package/toysolver-0.10.0/toysolver-0.10.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/toysolver"],"https://www.w3.org/ns/activitystreams#likes":159,"https://forgefed.org/ns#forks":11}