WindowsProgrammingOther Programming Files

clasp


clasp

clasp
  • Downloads: 68
  • Requirements: Windows All
  • Size: 450 KB
  • Licence: Freeware
  • Version: 3.0.3
  • 2014-01-04
  • Publisher Site:



clasp

Free Download clasp
Share

clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique.You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving. What's New in This Release: [ read full changelog ]fixed: AsyncResult destructor fails if called after destruction of ClaspFacadefixed: projective enumeration sometimes fails when used with option "--restart-on-model"fixed: regression in handling of negative lower bound in optimization
clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique.You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving. What's New in This Release: [ read full changelog ]fixed: AsyncResult destructor fails if called after destruction of ClaspFacadefixed: projective enumeration sometimes fails when used with option "--restart-on-model"fixed: regression in handling of negative lower bound in optimization  . you can free download clasp now.
Soft85 only provide legal software, please help us keeping pur site legal, if you think this page is violating copyrights please let us know by clicking here Here

clasp sources and versions


clasp from Softpedia







comments powered by Disqus

Download clasp _FREE_