ABsolver

Brought to you by: alpha7

Add a Review

Downloads: 0 This Week

Last Update: 2013-04-09

Download

Get an email when there's a new version of ABsolver

A constraint solver framework.

Features

1.0.11 fixes a linking problem
1.0.10 fixes a problem when building with GCC 4.4

Project Activity

See All Activity >

Follow ABsolver

ABsolver Web Site

Other Useful Business Software

Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.

Free Download

Rate This Project

User Reviews

Be the first to post a review of ABsolver!

Additional Project Details

Registered

2006-01-31

Report inappropriate content

Recommended Projects

Boolean Expression Solver
Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
Decision Procedure Toolkit
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
SMT-RAT
Satisfiability-Modulo-Theories Real Algebra Toolkit