OKlibrary

The OKlibrary is a research platform for generalised SAT solving.
It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level.
It also automatically installs a wide range of external software.

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow OKlibrary

OKlibrary Web Site

You Might Also Like

SKUDONET Open Source Load Balancer

Take advantage of Open Source Load Balancer to elevate your business security and IT infrastructure with a custom ADC Solution.

SKUDONET ADC, operates at the application layer, efficiently distributing network load and application load across multiple servers. This not only enhances the performance of your application but also ensures that your web servers can handle more traffic seamlessly.

Learn More

Rate This Project

User Reviews

Be the first to post a review of OKlibrary!

Additional Project Details

Operating Systems

Linux

Languages

English

Intended Audience

Science/Research, Education, Advanced End Users, Developers

User Interface

Web-based, Command-line

Programming Language

C++, Common Lisp

Related Categories

C++ Scientific Engineering, Common Lisp Scientific Engineering

Registered

2009-10-15

Similar Business Software

The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software
OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software
ActCAD Software

ActCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ActCAD Standard for 2D Drafting Power Users - ActCAD Prime for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ActCAD can be used for applications...

See Software