Softpedia
 
HomepageWindowsGamesDriversMacLinuxScripts buttonMobileHandheldNews

WINDOWS CATEGORIES:



GLOBAL PAGES >>
SOFTPEDIA REVIEWS >>
MEET THE EDITORS >>
WEEK'S BEST
  • Bitdefender Total ...
  • Hard Disk Sentinel...
  • FlashFXP [DISCOUNT...
  • Ocster Backup Pro ...
  • Kaspersky Internet...
  • DVDFab DVD Copy [D...
  • Avast! Internet Se...
  • Avira Internet Sec...
  • Webroot SecureAnyw...
  • McAfee Total Prote...
    		•
    Home > Windows > Programming > Other Programming Files
    		  Report malware

    clasp 2.1.3
    download button

    Downloads: 197  Tell us about an update
    User Rating:
    Rated by:    		 NOT RATED
    0 user(s)
    Developer:

    License / Price:

    Size / OS:

    Last Updated:

    Category:
    Freeware / $0
    408 KB / Windows All
    [view history]
    C: \ Programming \ Other Programming Files

     Read user reviews (0)  Send to friend   Follow (0 users)

    clasp description

    An answer set solver for normal or extended logic programs.

    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 a regression in the handling of choice rules in the unfounded set checker

     


    TAGS:

    		 answer set solver | SAT solver | PB solver | answer set | solver | SAT

    Go to top

    WindowsGamesDriversMacLinuxScriptsMobileHandheldNews

    SUBMIT PROGRAM   |   ADVERTISE   |   GET HELP   |   SEND US FEEDBACK   |   RSS FEEDS   |   UPDATE YOUR SOFTWARE   |   ROMANIAN FORUM
    © 2001 - 2013 Softpedia. All rights reserved.
    Softpedia® and the Softpedia® logo are
    registered trademarks of SoftNews NET SRL.    		 Copyright Information | Privacy Policy | Terms of Use