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

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

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 platform

Gemini platform is an enterprise AI development and machine learning platform from Google Cloud that enables organizations to build, customize, deploy, and manage AI agents and intelligent applications. Formerly known as Vertex AI, the platform provides access to more than 200 foundation models...

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