festival3os

Mods to the Festival sokoban solver that allow building on OSX, Linux, & Windows

Features

Mods to allow multi core exectution on OSX
Minimal changes to existing Festival solver code
Added compiler-directives & appropriate code segments for OSX
Includes example compilation script for OSX

Project Activity

See All Activity >

License

MIT License

Follow festival3os

festival3os Web Site

Other Useful Business Software

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Start Free

Rate This Project

User Reviews

Be the first to post a review of festival3os!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Intended Audience

Developers

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Reinforcement Learning Algorithms

Registered

2026-01-23

Similar Business Software

Gemini Enterprise Agent Platform

Gemini Enterprise Agent Platform is a comprehensive solution from Google Cloud designed to help organizations build, scale, govern, and optimize AI agents. It represents the evolution of Vertex AI, combining advanced model development with new capabilities for agent orchestration and...

See Software for Gemini Enterprise Agent Platform
OORT DataHub

Data Collection and Labeling for AI Innovation. Transform your AI development with our decentralized platform that connects you to worldwide data contributors. We combine global crowdsourcing with blockchain verification to deliver diverse, traceable datasets. Global Network: Ensure AI...

See Software for OORT DataHub
Ango Hub

Ango Hub is a quality-focused, enterprise-ready data annotation platform for AI teams, available on cloud and on-premise. It supports computer vision, medical imaging, NLP, audio, video, and 3D point cloud annotation, powering use cases from autonomous driving and robotics to healthcare...

See Software for Ango Hub
Hugging Face

Hugging Face is a leading platform for AI and machine learning, offering a vast hub for models, datasets, and tools for natural language processing (NLP) and beyond. The platform supports a wide range of applications, from text, image, and audio to 3D data analysis. Hugging Face fosters...

See Software for Hugging Face
Lamini

Lamini makes it possible for enterprises to turn proprietary data into the next generation of LLM capabilities, by offering a platform for in-house software teams to uplevel to OpenAI-level AI teams and to build within the security of their existing infrastructure. Guaranteed structured output...

See Software for Lamini
SUPA

Supercharge your AI with human expertise. SUPA is here to help you streamline your data at any stage: collection, curation, annotation, model validation and human feedback. Better data, better AI. SUPA is trusted by AI teams to solve their human data needs. Our lightning-fast machine-led...

See Software for SUPA