用人工智能工具轻松解决爱因斯坦智力题

using ai.net.Solver;
using System;
public class Rabbit : Solver
{
public Var rabbits, pheasants;
public void Run()
{
rabbits = var(0, 20, "Rabbits");
pheasants = var(0, 20, "Pheasants");
Post(rabbits.Sum(pheasants).Eq(20));
Post(rabbits.Prod(4).Sum(pheasants.Prod(2)).Eq(56));
Console.WriteLine(rabbits+" "+pheasants);
}
public static void Main() {(new Rabbit()).Run();}
}