JSMSolver 1.0.0-alpha1

 public ISolver Create<T1, T2>(IEnumerable<T2> data, IEnumerable<T2> obl = null, int[] prs = null) where T2 : JSMDataBase<T1>
        {
            JSMSolver.Solver<T1, T2> solv = new JSMSolver.Solver<T1, T2>();
            solv.Data[Signs.Plus] = new ReadOnlyCollection<T2>(data.Where(d => d.Sign == Signs.Plus).ToArray());
            solv.Data[Signs.Minus] = new ReadOnlyCollection<T2>(data.Where(d => d.Sign == Signs.Minus).ToArray());
            solv.Data[Signs.Tau] = new ReadOnlyCollection<T2>(data.Where(d => d.Sign == Signs.Tau).ToArray());
            solv.Data[Signs.Null] = new ReadOnlyCollection<T2>(data.Where(d => d.Sign == Signs.Null).ToArray());

            if (obl != null)
                solv.ObligatoryObjects = new ReadOnlyCollection<T2>(obl.ToArray());
            else
                solv.ObligatoryObjects = new ReadOnlyCollection<T2>(new T2[0]);

            solv.Filters = new Dictionary<Signs, Func<Hypothesis<T1, T2>, bool>>()
                {
                    { Signs.Plus, h => true },
                    { Signs.Minus, h => true }
                };

            solv.PropsF = prs;
            return solv;
        }

        private IEnumerable<JSMBase.JSMBase> CreateTestData()
        {
            PropInfo pi1 = new PropInfo() { Index = 1, Name = "Test1", Type = PropTypes.Value, Values = new List<TupleEx<int, string>>() { TupleEx.Create(0, "Var1"), TupleEx.Create(0, "Var2") } };
            PropInfo pi2 = new PropInfo() { Index = 1, Name = "Test2", Type = PropTypes.Value, Values = new List<TupleEx<int, string>>() { TupleEx.Create(0, "Var1"), TupleEx.Create(0, "Var2") } };

            JSMMedicine.Infos = new JSMStructure() { pi1, pi2 };
            JSMMedicine o1 = new JSMMedicine(1, "1") { Data = new PropData[] { new PropData(pi1, "+t"), new PropData(pi2, "tt") } };
            JSMMedicine o2 = new JSMMedicine(2, "2") { Data = new PropData[] { new PropData(pi1, "+t"), new PropData(pi2, "+t") } };
            JSMBase.JSMBase ex1 = new JSMBase.JSMBase(o1);
            ex1.ConvertToBitArray();
            ex1.Sign = Signs.Minus;

            JSMBase.JSMBase ex2 = new JSMBase.JSMBase(o2);
            ex2.ConvertToBitArray();
            ex2.Sign = Signs.Minus;

            return new JSMBase.JSMBase[] { ex1, ex2 };
        }

        public async Task Main()
        {
            
            //Create an example
            ISolver solv = Create<JSMMedicine, JSMBase.JSMBase>(CreateTestData());
            //Init - parameters
            Dictionary<Signs, IEnumerable<IReasoningType>> d = new Dictionary<Signs, IEnumerable<IReasoningType>>();
            var cdPlus = new CompareData(CompareOperator.LessOrEquals, 2);
            var cdMn = new CompareData(CompareOperator.LessOrEquals, 2);
            Addings plAddings = Addings.Simple;
            Addings mnAddings = Addings.Simple;
            solv.Init(cdPlus, cdMn, null, null, plAddings, mnAddings, d, true);
            //Count
            Progress<int> pr = new Progress<int>(i => { });
            CancellationToken ct = CancellationToken.None;
            await solv.JSMSimple(ct, pr);

            //List of cause hypotheses
            IList lst = solv.Hypotheses[Signs.Minus];
            //List of prediction hypotheses
            IList preds = solv.Predictions[Signs.Minus];
        }