FormulaOne Sample Source Code

This page contains an assorted mix of Formula One sample source codes, listed in no particular order.

Queens - Generalized N-queens problem. Place N queens on a chessboard NxN so that the queens don't attack each other.
Knight Tour - Another chessboard related problem: Move the knight on the chessboard so it visits all places exactly once.
Einstein's Puzzle - The almost compulsory logic puzzle known both as Einstein's puzzle or Five Houses puzzle can be found here.
Cannibals - Solve how to transport missionaries without being eaten by cannibals.
The Coconuts Puzzle (a.k.a. The Monkey and the Coconuts) - Martin Gardner says that this is "probably the most worked on and least often solved" algebraic puzzle.
Dividing The Spoils - Simple problem by Sam Loyd.
Professor Schuh - An old arithmetic problem given in the book of puzzles by Professor F. Schuh.
Sudoku, SudokuGUI - Sudoku a.k.a. Euler's Magic Squares. Finds all solutions of even the most difficult Sudoku puzzles. Extremely simple source code demonstrating the advantages of declarative constraint logic programming. The sample code solves 9x9 square puzzles, but can be easily modified for other dimensions.
Standalone Sudoku solver with a GUI interface can be downloaded using this link: SudokuGUI (revised July 1, 2005).
FourWordGUI - Solve a FourWord puzzle. Finds all solutions. Simple source code demonstrating how to use Graphical User Interface (GUI) using external modules.
Standalone FourWord Puzzle Solver with a GUI interface can be downloaded using this link: FourWordF1Setup. The complete source code, including a fairly comprehensive list of English four letter words can be downloaded here..

Some more source code samples:

Hudred Fowls Problem - Solve an old Chinese problem.
Factorial - See the result of Factorial(100000) here
Crypto Words - Simple code to solve some well known alphametics.
Alphametics - Generalized code to solve any alphametic.
Narcissistic Numbers - Also known as Armstrong numbers or perfect digital invariants.
Tank Tour - One of Clif Pickover's Extreme Challenges.
Czech Logical Labyrinth - A problem posted at the 2nd World Puzzle Championship.
Apocalyptical Numbers - Another one of Clifford A. Pickover's problems.
FourWord - Solve a FourWord puzzle, demonstrates how to use index files. Also create a database of English four letter words.
Dean Clark's Problem (Clock Triplets Problem). This problem was discussed in Dr. Dobbs's Journal, May 2004 in an article by Timothy Rolfe.
Fibonacci Numbers - Simple program to calculate huge numbers in reasonable time.
Anagram - Simple program to find word anagrams. This program demonstrates how to create and search a simple indexed relational database.
Anagram123 - A more sophisticated program to find one, two and three word ASCII anagrams. This program requires a list of reference words, which can be found in this file (2630kB): AllAnagramWords.zip.
Pentomino - Fill rectangles with 12 pentomino pieces. The results are available in the file (79.6 kB) PentominoResults.zip.
Nine Cards Puzzle - One of the "nifty" assignments as listed at http://nifty.stanford.edu/2003/backtracking. Arrange nine squares so that the edges that touch each add to zero.
The Riding Stable Puzzle - A puzzle popular in Prolog CS assignments. Six kids ride six horses. Solve which kid rides which horse, the ages of the kids and the stall number of each horse...

Magic Squares

Magic Squares 5x5 - Sample code that calculates all 275305224 magic squares 5x5. The program uses backtracking to generate the results at about 800 magic squares per second using 2.4GHz Intel Core2 CPU. At this rate it still takes about 95 hours to generate all solutions.
Associative Magic Squares 5x5 - Sample code that calculates all 48544 associative magic squares 5x5. The results are available in the file (691 kB) Results-MagicSquare5x5Associative.zip.
Pandiagonal Magic Squares 5x5 - Sample code that calculates all 3600 pandiagonal (aka panmagic, diabolical) magic squares 5x5. The results are available in the file (65.8 kB) Results-MagicSquare5x5Pandiagonal.zip.
Ultra Super Magic Squares 5x5 - Sample code that calculates all 16 ultra super magic squares 5x5.
Most Perfect Magic Squares 8x8 - Sample code that calculates all 368640 most perfect 8x8 magic squares. The results are available in the file (7869 kB) Results-MagicSquares8x8MostPerfect.zip.
Benjamin Franklin's Magic Squares 8x8 - In 2006 in the article published online by the Proceedings of the Royal Society "Enumerating the bent diagonal squares of Dr Benjamin Franklin FRS" by Daniel Schindel, Matthew Rempel and Peter Loly the authors showed there are 1,105,920 variations of Benjamin Franklin's 8x8 magic square. This F1 program calculates all 1,105,920 Benjamin Franklin's magic squares 8x8. The results are available in the file (25241 kB) FRANKLIN8X8.zip.

Rosetta Code is a programming chrestomathy site. The idea is to present solutions to the same task in as many different languages as possible. The following problems were posted on the Rosetta Code web site and solutions coded in various programming languages.

Pascal's Triangle Puzzle - Also known as "Pyramid of Numbers". Each brick of the pyramid is the sum of the two bricks situated below it.

Knapsack Problem - Pack a knapsack not to exceed maximum weight while maximizing the value. Multiple identical items not allowed.

Unbounded Knapsack Problem - Pack a knapsack not to exceed maximum weight while maximizing the value. Multiple identical items allowed.

Dell Logic Puzzles

The following word puzzles were copied from Doug Edmund's web page Learn Constraint Logic Programming With Logic Puzzles. This page offers a nice introduction to solving logic puzzles and contains dozens of various word puzzles ranging from simple to difficult with corresponding solutions programmed in ECLiPSe and B-Prolog. By following the links below you can find some of these puzzles solved using Formula One. These puzzles present a unique opportunity to compare syntax of Formula One, B-Prolog and ECLiPSe. The number of stars shown reflects the puzzle difficulty.

Enigma Problems

The following "Enigma" problems were published by the New Scientist magazine.

Enigma 1317 - Eight times by Richard England.
Enigma 1358 - Five fives by Adrian Somerfield.
Enigma 1368 - Dutch squares by Richard England.
Enigma 1396 - Magic planets by W. Heigh.
Enigma 1417 - Magic circle by Bob Walker.
Enigma 1448 - Birthday magic by Gwyn Owen.
Enigma 1468 - Paving the way by Bob Walker.
Enigma 1476 - Portuguese squares by Richard England.
Enigma 1492 - Magic magic by Adrian Sommerfield.
Enigma 1493 - Simple multiplication by Albert Haddad.
Enigma 1496 - Eighteen by Albert Haddad.
Enigma 1515 - Relative sizes by Albert Haddad.
Enigma 1517 - Just forgotten by Bob Walker.
Enigma 1530 - Tom Daley by Richard England.
Enigma 1535 - Back to front by Bob Walker.
Enigma 1553 - Squares from squares by Susan Denham.
Enigma 1555 - Not a square by Richard England.
Enigma 1557 - Reverse division by Richard England.
Enigma 1575 - All our days by Adrian Sommerfield.

The sample programs were converted into HTML format by F1toHTML.
If you would like to submit sample source code, contact support@f1compiler.com.

Last updated: June 27, 2010