Skip to main content
University of Nebraska Omaha logo University of Nebraska Omaha
APPLY MY UNO DIRECTORY

Students Faculty Staff Community
University of Nebraska Omaha logo
College of Information Science & Technology NLPKR Lab
APPLY MY UNO DIRECTORY
Students Faculty Staff Community
  • Research Backback to Main menu
    • Research Projects
    • Verifying ASP
    • Optimizations in ASP
  • Publications
  • Software Backback to Main menu
    • Anthem-P2P
    • AspCCGtk
    • Cmodels
    • Cmodels-Diff
    • DualGrounder
    • EZSMT
    • PPattach
    • PREDICTOR
    • PROJECTOR
    • Sup
    • Text2ALM
    • Text2Drs
  • Members

CMODELS(DIFF)

  1. UNO
  2. NLPKR Lab
  3. Software
  4. CMODELS(DIFF)

CMODELS(DIFF) is an answer set programming solver which takes an answer set program processed by Lparse or Gringo and produces an SMT-LIB compliant program. The resultant program is solved using a Satisfiability Modulo Theories solver such as CVC4, Z3, Yices.

CMODELS(DIFF) version 1.0.0 is available for download here (under GPLv3):

Download

Theoretical and practical groundings for this work can be found in:

  • Da Shen and Yuliya Lierler. SMT-based Answer Set Solver CMODELS(DIFF) (System Description). The 34th International Conference on Logic Programming (ICLP), 2018; Benchmarks discussed in this paper are posted here.

Comments, questions, and/or bugs can be reported to Da Shen and Yuliya Lierler

Contact Us

  • Yuliya Lierler: ylierler@unomaha.edu

College of Information Science & Technology

Contact Us
  • College of Information Science & Technology
  • 172 Peter Kiewit Institute
  • 1110 South 67th Street
  • Omaha, NE 68182   map
  • 402.554.2380
  • Contact Us
Social media
College Resources
  • Advising
  • Jobs and Internships
  • Research
  • News and Events
  • IS&T Technology Systems and Facilities
Peter Kiewit Institute

Next Steps

  • Visit UNO
  • Request Information
  • Apply for Admission
  • The UNO Advantage
  • Our City (Omaha)

Just For You

  • Future Students
  • Current Students
  • Work at UNO
  • Faculty and Staff
  • A-Z List

Popular Services and Resources

  • my.unomaha.edu
  • Academic Calendar
  • Campus Buildings & Maps
  • Library
  • Pay Your Bill
  • Course Catalogs
  • Internships & Career Development
  • The Maverick Store
  • MavCARD Services
  • Military-Connected Resource Center
  • Speech Center
  • Writing Center
  • Human Resources
  • Center for Faculty Excellence

Affiliates

  • University of Nebraska System
  • NU Foundation
  • Buffett Early Childhood Institute
  • Daugherty Water for Food Institute
  • National Strategic Research Institute
  • Peter Kiewit Institute
  • Rural Prosperity Nebraska
  1. University Policies
  2. Privacy Statement
  3. Accessibility
  1. 402.554.2800
University of Nebraska Omaha
University of Nebraska Omaha, 6001 Dodge Street, Omaha, NE, 68182
  • ©  
  • Emergency Information Alert
  • MavsReport

Social Media

Omaha Skyline

Our Campus. Otherwise Known as Omaha.

The University of Nebraska does not discriminate based on race, color, ethnicity, national origin, sex, pregnancy, sexual orientation, gender identity, religion, disability, age, genetic information, veteran status, marital status, and/or political affiliation in its education programs or activities, including admissions and employment. The University prohibits any form of retaliation taken against anyone for reporting discrimination, harassment, or retaliation for otherwise engaging in protected activity. Read the full statement.