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

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

Vertex AI

Build, deploy, and scale machine learning (ML) models faster, with fully managed ML tools for any use case. Through Vertex AI Workbench, Vertex AI is natively integrated with BigQuery, Dataproc, and Spark. You can use BigQuery ML to create and execute machine learning models in BigQuery...

See Software
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
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
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
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
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